The strong version of a sentential logic

DOI10.1007/s11225-017-9709-0zbMath1417.03303OpenAlexW2593401383MaRDI QIDQ1680515

Ramon Jansana, Hugo Albuquerque, Josep Maria Font

Publication date: 16 November 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9709-0

zbMATH Keywords

abstract algebraic logicLeibniz operatorprotoalgebraic logicnon protoalgebraic logicstrong versionSuszko operatortruth-equational logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)

Related Items (3)

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ An algebraic view of super-Belnap logics ⋮ The Suszko operator relative to truth‐equational logics

Cites Work

• Structural completeness in relevance logics
• Leibniz-linked pairs of deductive systems
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Selfextensional logics with a conjunction
• Residuated lattices. An algebraic glimpse at substructural logics
• Taking degrees of truth seriously
• Theory of logical calculi. Basic theory of consequence operations
• A new semantics for positive modal logic
• Leibniz filters revisited
• A survey of abstract algebraic logic
• An algebraic view of super-Belnap logics
• Algebraic study of two deductive systems of relevance logic
• Positive modal logic
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• Nothing but the truth
• COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
• Note on algebraic models for relevance logic
• Structural Completeness in Substructural Logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Bounded distributive lattices with strict implication
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Leibniz filters and the strong version of a protoalgebraic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The strong version of a sentential logic