scientific article; zbMATH DE number 3497860

Cited in

(81)

False though partly true -- an experiment in logic
Eliminating disjunctions by disjunction elimination
Erotetic arguments: A preliminary analysis
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
A universal Krull-Lindenbaum theorem
What is relevance logic?
SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
A family of strict/tolerant logics
Simple consequence relations
Lindenbaum's lemma via open induction
Set-theoretical and other elementary models of the \(\lambda\)-calculus
Configuration structures, event structures and Petri nets
The multiple facets of the canonical direct unit implicational basis
Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
Extension by conservation. Sikorski's theorem
An unexpected Boolean connective
Default logic generalized and simplified
Lukasiewicz logic and the foundations of measurement
A refutation theory
Key notions of Tarski's methodology of deductive systems
The algebra of opposition (and universal logic interpretations)
Ordering groups constructively
A representation of stably compact spaces, and patch topology.
Consequence relations and admissible rules
Disjunctive and conjunctive multiple-conclusion consequence relations
A syntactical proof of the Marriage Lemma.
Acceptance, inference, and the multiple-conclusion sequent
Graphs of plural cuts
On Axioms and Rexpansions
Graded consequence: an institution theoretic study
Reflecting rules: a note on generalizing the deduction theorem
The logic of approximation in quantum theory
Disjunctive multiple-conclusion consequence relations
Syntax for semantics: Krull's maximal ideal theorem
The presence of lattice theory in discrete problems of mathematical social sciences. Why.
The expressive truth conditions of two-valued logic
Difference measurement spaces
The Hahn-Banach theorem by disjunction elimination
Remarks on a survey article on many valued logic by A. Urquhart
Presuppositional completeness
Point-Free Spectra of Linear Spreads
Cut elimination for entailment relations
The revival of rejective negation
An intriguing logic with two implicational connectives
A system for proper multiple-conclusion entailment
Taking degrees of truth seriously
Erotetic implications
Admissibility and refutation: some characterisations of intermediate logics
Some theorems on structural entailment relations
That SCI has the interpolation property
Towards formal Baer criteria
Idempotent full paraconsistent negations are not algebraizable
Remarks on the Scott-Lindenbaum theorem
Lattice-ordered groups generated by an ordered group and regular systems of ideals
Information links in domain theory
On completeness theorems for feature logics
Singulary extensional connectives: A closer look
Eliminating disjunctions by disjunction elimination
On Kreisel's notion of validity in Post systems
Valuations: bi, tri, and tetra
Inducing inference relations from inconsistency measures
An essay in matrix semantics for consequence relations
Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
Consequence and degrees of truth in many-valued logic
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
A universal algorithm for Krull's theorem
FDE: a logic of clutters
The effects of effects on constructivism
From many-valued consequence to many-valued connectives
Two traditions in abstract valuational model theory
Consequence relations and data science: from Galois mappings to data interpretation
What is a logical theory? On theories containing assertions and denials
Generalized entailments
Axiomatizing non-deterministic many-valued generalized consequence relations
A general Glivenko-Gödel theorem for nuclei
Generalised graded interpolation
Paraconsistent inference relations induced from inconsistency measures
Stipulation and symmetrical consequence
Comments on the Contributions
A logical consequence informed by probability
Aristotelian diagrams for semantic and syntactic consequence

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 Q4079581)