Some remarks on the consequence operation in sentential logics
From MaRDI portal
Publication:5606564
DOI10.4064/fm-68-3-269-279zbMath0206.27401OpenAlexW1483298393MaRDI QIDQ5606564
Publication date: 1970
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214226
Related Items
Неклассический взгляд на природу значений истинности ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ Synonymy in sentential languages: A pragmatic view ⋮ What is relevance logic? ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Singly generated quasivarieties and residuated structures ⋮ The degrees of maximality of the intuitionistic propositional logic and of some of its fragments ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ On the degree of complexity of sentential logics. A couple of examples ⋮ Synchronized linear-time temporal logic ⋮ Logic, formal methodology and semantics in works of Ryszard Wójcicki ⋮ Interpolation and definability over the logic Gl ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness ⋮ Matrix approach in methodology of sentential calculi ⋮ Connections between some notions of completeness of structural propositional calculi ⋮ On three-valued implicative systems ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ Data types over multiple-valued logics ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Multi-valued semantics: why and how ⋮ Logical matrices and non-structural consequence operators ⋮ That SCI has the interpolation property ⋮ On the degree of complexity of sentential logics. II: An example of the logic with semi-negation ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics