Structuring Theories on Consequence

@inproceedings{Fiadeiro1987StructuringTO,
  title={Structuring Theories on Consequence},
  author={Jos{\'e} Luiz Fiadeiro and Am{\'i}lcar Sernadas},
  booktitle={ADT},
  year={1987}
}

Citations

Publications citing this paper.
Showing 1-10 of 85 extracted citations

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science • 2016
View 20 Excerpts
Highly Influenced

A logical framework combining model and proof theory

Mathematical Structures in Computer Science • 2013
View 5 Excerpts
Highly Influenced

Logical Support for Modularisation

azvan Diaconescu, Joseph Gogueny, Petros S. Stefaneas
1993
View 6 Excerpts
Highly Influenced

Graded consequence: an institution theoretic study

Soft Comput. • 2014
View 5 Excerpts
Highly Influenced

General Logics

View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…