A Note on Abstract Consequence Structures Uma Nota (original) (raw)
Related papers
A note on abstract consequence structures
2005
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Annals of Pure and Applied Logic, 2004
The axiomatization of Horst Wessel’s strict logical consequence relation
Logic and Logical Philosophy, 2004
Some results on Jaśkowski’s discursive logic
Logic and Logical Philosophy, 2004
Chapter 2: Abstract Logics as Models of Sentential Logics
2009
An Abstract Approach to Consequence Relations
The Review of Symbolic Logic
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics
Slogica, 1993
More axioms for the set-theoretic hierarchy
Logique Et Analyse, 1988
Tarski’s convention T: condition beta. South American Journal of Logic. 1, 3–32.
Some remarks on axiomatizing logical consequence operations
Logic and Logical Philosophy, 2005
Tarskian Structured Consequence Relations and Functional Completeness
Mathematical Logic Quarterly, 1995
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
Notes on Formal Theories of Truth
Mathematical Logic Quarterly, 1989
Chapter 1: Generalities on Abstract Logics and Sentential Logics
2009
Equivalence of consequence relations: an order-theoretic and categorical perspective
The Journal of Symbolic Logic, 2009
07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}
An Omitting Types Theorem for first order logic with infinitary relation symbols
Mathematical Logic Quarterly, 2007
Infinitary logics and abstract elementary classes
Proceedings of the American Mathematical Society
The elementary theory of the natural lattice is finitely axiomatizable
Notre Dame Journal of Formal Logic - NDJFL, 1989
On orderings of the family of all logics
Archive for Mathematical Logic, 1980
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
Annals of Pure and Applied Logic, 1996
A constructive consistency proof of a fragment of set theory
Annals of Pure and Applied Logic, 1984
On Proof Terms and Embeddings of Classical Substructural Logics
Studia Logica
Canonical extensions and relational completeness of some substructural logics
The Journal of Symbolic Logic, 2005
A Finite Axiomatization of Inductive-Recursive Denitions
1998
An Extension of a Permutative Model of Set Theory
Annals of the Alexandru Ioan Cuza University - Mathematics, 2012
An Inclusion Theorem for Defeasible Logics
2010
Some Structural Properties of the Logic of Rules
On Generalizations of Consequence Operation
2007
A Note on Finiteness in the Predicative Foundations of Arithmetic
Journal of Philosophical Logic, 1999
A New Approach to Predicative Set Theory
2010
Definitions of finiteness based on order properties
Fundamenta Mathematicae, 2006
The Poset of All Logics III: Finitely Presentable Logics
Studia Logica, 2020
On First-order Theories Which Can Be Represented by Definitions
Logical Investigations