Protoalgebraic logics
From MaRDI portal
Publication:5932852
zbMath0984.03002MaRDI QIDQ5932852
Publication date: 21 May 2001
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
deduction theoremquasivarietyalgebraizable logicalgebraic logicconsequence operationequivalential logicFregean logicLeibniz operatorprotoalgebraic logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Many-valued logic (03B50) Quasivarieties (08C15) Axiomatic model classes (08C10) Abstract deductive systems (03B22) Varieties (08B99)
Related Items
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 ⋮ Congruence computations in principal arithmetical varieties ⋮ De Morgan clones and four-valued logics ⋮ Structural completeness in relevance logics ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Closure properties for the class of behavioral models ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Defining subdirect product closed classes in infinitary logic ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Axiomatizations of universal classes through infinitary logic ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Selfextensional logics with a conjunction ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ 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 ⋮ Abstract valuation semantics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ \(\mathbf R\) and relevance principle revisited ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Epimorphisms in varieties of residuated structures ⋮ Locally tabular \(\neq \) locally finite ⋮ Leibniz interpolation properties ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ An algebraic view of super-Belnap logics ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Eliminating disjunctions by disjunction elimination ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Replacement in logic ⋮ Lattices of theories in languages without equality ⋮ Filter pairs and natural extensions of logics ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Partially undetermined many-valued events and their conditional probability ⋮ Contextual deduction theorems ⋮ A closer look at some subintuitionistic logics ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Triangular irreducibility of congruences in quasivarieties ⋮ A note on congruences of semilattices with sectionally finite height. ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Refinement by Interpretation in a General Setting ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Densification via polynomials, languages, and frames ⋮ Algebraic Representation, Dualities and Beyond ⋮ Logics with disjunction and proof by cases ⋮ A note on natural extensions in abstract algebraic logic ⋮ A survey on categories of logics and algebraizable logics ⋮ On the complexity of the Leibniz hierarchy ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Free equivalential algebras ⋮ Constructing natural extensions of propositional logics ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Join-completions of partially ordered algebras ⋮ Regular elements and Kolmogorov translation in residuated lattices ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Weakly implicative (fuzzy) logics. I: Basic properties ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Why are papers about filters on residuated structures (usually) trivial? ⋮ Neighborhood semantics for modal many-valued logics ⋮ Characterizing finite-valuedness ⋮ Deciding active structural completeness ⋮ The logic of distributive nearlattices ⋮ Update to ``A survey of abstract algebraic logic ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Properties of implication in effect algebras ⋮ Epimorphisms, definability and cardinalities ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Performability of actions ⋮ Correspondences between gentzen and hilbert systems ⋮ On prevarieties of logic ⋮ A note on FDE ``all the way up ⋮ Literal-paraconsistent and literal-paracomplete matrices ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ Logics of order and related notions ⋮ An algebraic study of exactness in partial contexts ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions ⋮ THE LATTICE OF SUPER-BELNAP LOGICS ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ 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 ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ The Suszko operator relative to truth‐equational logics ⋮ The algebraic significance of weak excluded middle laws ⋮ On the logic of distributive nearlattices ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Logics of upsets of De Morgan lattices ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ Universality of Logic ⋮ From Formal Theory of Knowledge to Non-Fregean Logic ⋮ CAPTURING CONSEQUENCE ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices ⋮ Equality Logic ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Categorical abstract algebraic logic: The categorical Suszko operator ⋮ Bounded distributive lattices with strict implication ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Categorical abstract algebraic logic: The largest theory system included in a theory family ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Homotopical Categories of Logics ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
This page was built for publication: Protoalgebraic logics
