Some remarks on the consequence operation in sentential logics

Cited in

(32)

Multi-valued semantics: why and how
On the degree of complexity of sentential logics. II: An example of the logic with semi-negation
On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
Synonymy in sentential languages: A pragmatic view
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
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
Key notions of Tarski's methodology of deductive systems
Finite two-dimensional proof systems for non-finitely axiomatizable logics
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
What is relevance logic?
An inferentially many-valued two-dimensional notion of entailment
Singly generated quasivarieties and residuated structures
Неклассический взгляд на природу значений истинности
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
Synchronized linear-time temporal logic
Logic, formal methodology and semantics in works of Ryszard Wójcicki
Interpolation and definability over the logic Gl
An essay in matrix semantics for consequence relations
On pretabular extensions of relevance logic
Non-transitive counterparts of every Tarskian logic
Introduction
Data types over multiple-valued logics
Logical matrices and non-structural consequence operators
That SCI has the interpolation property
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

This page was built for publication: Some remarks on the consequence operation in sentential logics

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