Logic and Implication

DOI10.1007/978-3-030-85675-5MaRDI QIDQ5158446zbMATH OpenOpenAlexFDO

Authors Carles Noguera, Petr Cintula

Publication date 22 October 2021

Published in Trends in Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-85675-5

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx)

Recommendations

• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• An introduction to non-classical logic
• Residuated Structures in Algebra and Logic
• Non-commutative Multiple-Valued Logic Algebras
• scientific article; zbMATH DE number 2205635

Cited in

(19)

• Logics of order and related notions
• Consequence Relations
• ON EQUATIONAL COMPLETENESS THEOREMS
• scientific article; zbMATH DE number 2205635 (Why is no real title available?)
• On Implicative and Positive Implicative GE Algebras
• Connections between GE algebras and pre-Hilbert algebras
• One-variable fragments of first-order logics
• Relevant consequence relations: an invitation
• A variant of the lindenbaum lemma for infinitary closure systems
• An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
• New foundations of reasoning via real-valued first-order logics
• Implicational tonoids and their representations
• A gentle introduction to the Leibniz hierarchy
• On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
• Intuitionistic Sahlqvist theory for deductive systems
• Superabelian logics
• Homomorphism preservation theorems for many-valued structures
• Recovery operators in quasi-Nelson logic: the prelinear case
• Polyadic De Morgan monoids: functional representation and MG structures

This page was built for publication: Logic and Implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5158446)