scientific article; zbMATH DE number 945663
From MaRDI portal
Publication:4715441
zbMath0865.03054MaRDI QIDQ4715441
Josep Maria Font, Ramon Jansana
Publication date: 14 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraizable logicprotoalgebraic logicGentzen systemsselfextensional logicabstract logicsalgebraization of sentential logics
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03G99) Abstract deductive systems (03B22)
Related Items
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ The Suszko operator relative to truth‐equational logics ⋮ On the logic of distributive nearlattices ⋮ Abstract algebraic logic. An introductory chapter ⋮ A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Almost structural completeness; an algebraic approach ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Algebraic study of two deductive systems of relevance logic ⋮ An Abstract Algebraic Logic View on Judgment Aggregation ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Abstract modal logics ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Selfextensional logics with a conjunction ⋮ Fregean logics ⋮ Bilattices with implications ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ A coalgebraic perspective on logical interpretations ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ An infinity of super-Belnap logics ⋮ The strong version of a sentential logic ⋮ Locally tabular \(\neq \) locally finite ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ A short overview of Hidden Logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Minimally generated abstract logics ⋮ An algebraic view of super-Belnap logics ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Nothing but the truth ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Possible worlds in use ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ A note on congruences of semilattices with sectionally finite height. ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Algebraic Methods for Granular Rough Sets ⋮ Inconsistency lemmas in algebraic logic ⋮ A note on natural extensions in abstract algebraic logic ⋮ A generalization of the Routley-Meyer semantic framework ⋮ On the complexity of the Leibniz hierarchy ⋮ On a logico-algebraic approach to AGM belief contraction theory ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ A coalgebraic view on positive modal logic ⋮ Implicit connectives of algebraizable logics ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Categorical abstract algebraic logic: The categorical Suszko operator ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Non-distributive relatives of ETL and NFL ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Characterizing finite-valuedness ⋮ The logic of distributive nearlattices ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ The poset of all logics. III: Finitely presentable logics ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Taking degrees of truth seriously ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ A relational semantics for the logic of bounded lattices ⋮ Categorical abstract algebraic logic: The largest theory system included in a theory family ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ What is a non-truth-functional logic? ⋮ Correspondences between gentzen and hilbert systems ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Abstract Logics as Dialgebras ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Towards Logics of Some Rough Perspectives of Knowledge ⋮ Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ An abstract algebraic logic approach to tetravalent modal logics ⋮ Weakly algebraizable logics ⋮ \(M\)-sets and the representation problem ⋮ An algebraic study of exactness in partial contexts ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ On Hilbert algebras generated by the order ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
