scientific article; zbMATH DE number 3150809

Cited in

(only showing first 100 items - show all)

Strong Three-Valued Paraconsistent Logics
Filter distributive logics
Algebraic aspects of deduction theorems
Connexive Variants of Modal Logics Over FDE
What is relevance logic?
Pure variable inclusion logics
Axiomatization of the De Morgan type rules
Reduced products of logical matrices
On three-valued implicative systems
A postulate-driven study of logical argumentation
Remarks on a survey article on many valued logic by A. Urquhart
Logical matrices and the amalgamation property
On structural completeness of Lukasiewicz's logics
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
A perspective on modal sequent logic
Homotopical categories of logics
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
Some theorems on abstract logics
Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
Consequence relations and data science: from Galois mappings to data interpretation
2-element matrices
The problem of reconstructability of propositional calculi
A note on closure spaces determined by intersections
Contextual deduction theorems
A generalized proof-theoretic approach to logical argumentation based on hypersequents
On the scope of Lindenbaum's theorem on complete supersystems
Combining classical logic, paraconsistency and relevance
Remarks on a theorem of McGee
\(\mathbf{RM}\) and its nice properties
Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
Selfextensional logics with a conjunction
Idempotent residuated structures: Some category equivalences and their applications
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
A strongly finite logic with infinite degree of maximality
Fragments of R-mingle
Equivalents for a quasivariety to be generated by a single structure
Logical argumentation by dynamic proof systems
Direct proofs of Lindenbaum conditionals
Matrix approach in methodology of sentential calculi
Algebraic study of Sette's maximal paraconsistent logic
There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
The deduction theorem for Lukasiewicz many-valued propositional calculi
An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings
An essay in matrix semantics for consequence relations
Taking degrees of truth seriously
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
The lattice of strengthenings of a strongly finite consequence operation
Singly generated quasivarieties and residuated structures
Algebraic logic for classical conjunction and disjunction
Connections between some notions of completeness of structural propositional calculi
On structural completeness of many-valued logics
Representable idempotent commutative residuated lattices
Algebraic Valuations as Behavioral Logical Matrices
Definitional equivalence and algebraizability of generalized logical systems
Data types over multiple-valued logics
The existence of matrices strongly adequate for E, R and their fragments
Axiomatization of semigroup consequences
Human rationality challenges universal logic
Multi-valued semantics: why and how
Theories of propositional logics and the converse of substitution
Coproduct and amalgamation of deductive systems by means of ordered algebras
The nature of entailment: an informational approach
On structural completeness of implicational logics
Equivalential logics. II
Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach
On pretabular extensions of relevance logic
New dimensions on translations between logics
A resolution framework for finitely-valued first-order logics
Many-valued computational logics
Deduction theorems for RM and its extensions
Replacement in logic
Characterizing finite-valuedness
Possible worlds in use
Epimorphisms, definability and cardinalities
Classically archetypal rules
On finite approximability of psi-intermediate logics
On the degree of complexity of sentential logics. II: An example of the logic with semi-negation
What is a non-truth-functional logic?
Identity connective and modality
On the degree of complexity of sentential logics. A couple of examples
An approach to Glivenko's theorem in algebraizable logics
Abstract valuation semantics
Logical matrices and non-structural consequence operators
What is a logical theory? On theories containing assertions and denials
Key notions of Tarski's methodology of deductive systems
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
That SCI has the interpolation property
The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
The lattice of distributive closure operators over an algebra
The Beth property in algebraic logic
On finitely based consequence operations
Beyond Rasiowa's algebraic approach to non-classical logics
On certain connections between consequence, inconsistency and completeness
A review of some problems of the logic of questions
Some remarks on the concept of completeness of the propositional calculus. I
Filter pairs and natural extensions of logics
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
Constructing natural extensions of propositional logics
A note on direct products and ultraproducts of logical matrices

This page was built for publication:

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