Leibniz filters and the strong version of a protoalgebraic logic
From MaRDI portal
Publication:5950711
DOI10.1007/PL00003848zbMath1030.03050OpenAlexW2091870191WikidataQ122927581 ScholiaQ122927581MaRDI QIDQ5950711
Josep Maria Font, Ramon Jansana
Publication date: 13 December 2001
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00003848
sentential logicabstract algebraic logicLeibniz filtersmany-valued logicsmodal logicsprotoalgebraic logicsquantum logicsweak algebraizability
Modal logic (including the logic of norms) (03B45) Algebraic logic (03G99) Many-valued logic (03B50) Quantum logic (03G12) Abstract deductive systems (03B22)
Related Items
COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Selfextensional logics with a conjunction ⋮ Fregean logics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ The strong version of a sentential logic ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ An algebraic view of super-Belnap logics ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ The Infinite-Valued Łukasiewicz Logic and Probability ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Leibniz-linked pairs of deductive systems ⋮ Behavioral algebraization of logics ⋮ Taking degrees of truth seriously
