Protoalgebraic logics

zbMath0984.03002MaRDI QIDQ5932852

Janusz Czelakowski

Publication date: 21 May 2001

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

zbMATH Keywords

deduction theoremquasivarietyalgebraizable logicalgebraic logicconsequence operationequivalential logicFregean logicLeibniz operatorprotoalgebraic logic

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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 ⋮ 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

This page was built for publication: Protoalgebraic logics