Theory of logical calculi. Basic theory of consequence operations

Publication date: 17 September 1992

Published in: Synthese Library (Search for Journal in Brave)

possible worlds proof theory relevance logics metalogic consequence operations quantificational logic predicate logics classical and non-classical propositional calculi Logical matrices Referential semantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99) General logic (03Bxx)

Related Items

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Неклассический взгляд на природу значений истинности ⋮ Вполне-определённые логики ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ A lattice of the paracomplete calculi ⋮ Pure Variable Inclusion Logics ⋮ Note on a six-valued extension of three-valued logic ⋮ On consequence in approximate reasoning ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A Syntactic Approach to Closure Operation ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ An infinity of super-Belnap logics ⋮ Equivalence of defeasible normative systems ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ Equivalence in logic-based argumentation ⋮ A short overview of Hidden Logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ The Suszko operator relative to truth‐equational logics ⋮ Nonmonotonicity and answer set inference ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ The algebraic significance of weak excluded middle laws ⋮ Cut‐conditions on sets of multiple‐alternative inferences ⋮ Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC ⋮ Abstract algebraic logic. An introductory chapter ⋮ Characterizing Belnap's Logic via De Morgan's Laws ⋮ On the three-valued expansions of Kleene's logic ⋮ A note on closure spaces determined by intersections ⋮ Conservative translations revisited ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ The Infinite-Valued Łukasiewicz Logic and Probability ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ The Lvov-Warsaw School: A True Mythology ⋮ The simplest protoalgebraic logic ⋮ Priest on Negation ⋮ Unnamed Item ⋮ Non Truth-Functional Many-Valuedness ⋮ Conservative translations ⋮ Homeomorphism and the equivalence of logical systems ⋮ The Procedures for Belief Revision ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Many-Valued Logics and Translations ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Classic-Like Analytic Tableaux for Finite-Valued Logics ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Abstract Logics as Dialgebras ⋮ Homotopical Categories of Logics ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ On Axioms and Rexpansions ⋮ Consequence Relations with Real Truth Values ⋮ On rules ⋮ A universal Krull-Lindenbaum theorem ⋮ A new hierarchy of infinitary logics in abstract algebraic logic ⋮ The expressive truth conditions of two-valued logic ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Consequence relations and admissible rules ⋮ Algebraic study of two deductive systems of relevance logic ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Computational properties of partial non-deterministic matrices and their logics ⋮ Singulary extensional connectives: A closer look ⋮ Selfextensional logics with a conjunction ⋮ An unexpected Boolean connective ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ Fregean logics ⋮ Bilattices with implications ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ A coalgebraic perspective on logical interpretations ⋮ Abstract valuation semantics ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ The strong version of a sentential logic ⋮ What is relevance logic? ⋮ Compositional meaning in logic ⋮ Self-extensional three-valued paraconsistent logics ⋮ Sequent systems for negative modalities ⋮ Locally tabular \(\neq \) locally finite ⋮ New dimensions on translations between logics ⋮ An algebraic view of super-Belnap logics ⋮ Eliminating disjunctions by disjunction elimination ⋮ One step is enough ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Synonymous logics ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ The quasi-lattice of indiscernible elements ⋮ Referentiality and matrix semantics ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Synchronized linear-time temporal logic ⋮ Leibniz-linked pairs of deductive systems ⋮ Consequence and interpolation in Łukasiewicz logic ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Implicative twist-structures ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ A resolution framework for finitely-valued first-order logics ⋮ The logical structure of truthmaking ⋮ Formal systems of fuzzy logic and their fragments ⋮ Resolution approximation of first-order logics ⋮ A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 ⋮ A semantic hierarchy for intuitionistic logic ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Deduction and reduction theorems for inferential erotetic logic ⋮ One-step modal logics, intuitionistic and classical. I ⋮ An essay on resolution logics ⋮ Minimally congruential contexts: observations and questions on embedding E in K ⋮ The lattice of distributive closure operators over an algebra ⋮ An intriguing logic with two implicational connectives ⋮ Remarks on the Scott-Lindenbaum theorem ⋮ Fuzzy sets and formal logics ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ The expressive unary truth functions of \(n\)-valued logic ⋮ On negation: Pure local rules ⋮ Properties of the logical consequence operation and its relationship with the independence of propositional logic ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Valuations: bi, tri, and tetra ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ Characterizing finite-valuedness ⋮ Notational variance and its variants ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Behavioral algebraization of logics ⋮ Equivalents for a quasivariety to be generated by a single structure ⋮ On nonmonotonic consequence relations ⋮ Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics ⋮ Taking degrees of truth seriously ⋮ The slingshot argument and sentential identity ⋮ Axiomatization of semigroup consequences ⋮ Deontology of compound actions ⋮ Data types over multiple-valued logics ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ Epimorphisms, definability and cardinalities ⋮ Performability of actions ⋮ Multi-valued semantics: why and how ⋮ Beyond three inferential values ⋮ What is a non-truth-functional logic? ⋮ Equivalential and algebraizable logics ⋮ Paraconsistent logics and translations ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ Logics of order and related notions ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ Idempotent variations on the theme of exclusive disjunction ⋮ Structuring co-constructive logic for proofs and refutations