The strong version of a sentential logic

DOI10.1007/S11225-017-9709-0MaRDI QIDQ1680515zbMATH OpenOpenAlexFDO

Authors Hugo Albuquerque, Josep Maria Font, Ramon Jansana

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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Abstract algebraic logic (03G27)

Recommendations

• Strong-separation logic
• Predicate logics of expressively strong theories
• Strong logics of first and second order
• scientific article; zbMATH DE number 575580
• scientific article; zbMATH DE number 6296797
• Semi-intuitionistic logic with strong negation
• A strong model of paraconsistent logic
• Logics for approximate and strong entailments
• Strong conceptual completeness for first-order logic

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2042610 (Why is no real title available?)
• scientific article; zbMATH DE number 1747706 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• A new semantics for positive modal logic
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraic study of two deductive systems of relevance logic
• Algebraizable logics
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• An algebraic view of super-Belnap logics
• An infinity of super-Belnap logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Belnap's Four-Valued Logic and De Morgan Lattices
• Bounded distributive lattices with strict implication
• Compatibility operators in abstract algebraic logic
• Leibniz filters and the strong version of a protoalgebraic logic
• Leibniz filters revisited
• Leibniz-linked pairs of deductive systems
• Logics preserving degrees of truth from varieties of residuated lattices
• Note on algebraic models for relevance logic
• Nothing but the truth
• On semilattice-based logics with an algebraizable assertional companion
• On substructural logics preserving degrees of truth
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Selfextensional logics with a conjunction
• Structural Completeness in Substructural Logics
• Structural completeness in relevance logics
• Taking degrees of truth seriously
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(6)

• An algebraic view of super-Belnap logics
• Leibniz filters revisited
• The Hart-Shelah example, in stronger logics
• The Suszko operator relative to truth‐equational logics
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• Leibniz filters and the strong version of a protoalgebraic logic

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

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