scientific article; zbMATH DE number 3261581

Cited in

(only showing first 100 items - show all)

Relevant Robinson's arithmetic
Suszko's thesis, inferential many-valuedness, and the notion of a logical system
On the proof theory of the intermediate logic MH
Implementing the `Fool's model' of combinatory logic
Intensional models for first degree formulas
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
A survey of nonstandard sequent calculi
Variations of the free implicative semilattice extension of a Hilbert algebra
Noncumulative dialectical models and formal dialectics
On sequence-conclusion natural deduction systems
Eliminability of cut in hypersequent calculi for some modal logics of linear frames
Proof theory for functional modal logic
Sentence, proposition and identity
Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
Fuzzy power sets and fuzzy implication operators
Normalization and excluded middle. I
L-ALMOST DISTRIBUTIVE LATTICES
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
Sentential constants in R and \(R^{\neg}\)
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
Implicative commutative semigroups are equivalent to a class of BCK algebras
New axiomatics for relevant logics. I
On ordered filters of implicative semigroups
Netl and subsequent path-based inheritance theories
Dialogues, strategies, and intuitionistic provability
A propositional fragment of Lesniewski's ontology
Ternary relations and relevant semantics
Conservative extension in relevant implication
Types of I-free hereditary right maximal terms
Coordination of parallel partially ordered processes
Peirce's rule in natural deduction.
The neglect of epistemic considerations in logic: the case of epistemic assumptions
Relational semantics for Kleene logic and action logic
A Brief History of Natural Deduction
E, R AND γ
On a generalized cylindrical algebra and intuitionistic logic
Sequent-systems for modal logic
Models for normal intuitionistic modal logics
Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
What is a non-truth-functional logic?
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
From multiple sequent for additive linear logic to decision procedures for free lattices
Bi-Heyting algebras, toposes and modalities
On the proof theory of the modal logic for arithmetic provability
On fuzzy ordered semigroups.
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
Bounds for cut elimination in intuitionistic propositional logic
Four-valued logic
Structural aspects of semantic-directed clusters
Subtractive logic
Negative equivalence of extensions of minimal logic
Kripke models for linear logic
The revival of rejective negation
Linearizing intuitionistic implication
A Remark on the Intersection of Tow Logics
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
On cut elimination in the presence of perice rule
On the linearK-arboricity of cubic graphs
Lower bounds for increasing complexity of derivations after cut elimination
Current trends in substructural logics
The semantics of entailment omega
On the decidability of implicational ticket entailment
Admissibility of cut in LC with fixed point combinator
Positive modal logic
Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
On structural features of the implication fragment of Frege's \textit{Grundgesetze}
Hypersequent calculi for intuitionistic logic with classical atoms
Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
Dialogspiele als Semantische Grundlage von Logikkalkülen
Expansions of semi-Heyting algebras. I: Discriminator varieties
Homomorphisms of implicative semigroups
A survey of state vectors
Gentzenizations of relevant logics without distribution. I
On matrix equations in a class of complete and completely distributive lattices
The decidability of the intensional fragment of classical linear logic
Certain Method for Generating a Series of Logics
Why ramify?
Intuitionistic Decision Procedures Since Gentzen
Metalogic, Schopenhauer and universal logic
An alternative normalization of the implicative fragment of classical logic
scientific article; zbMATH DE number 3696535 (Why is no real title available?)
A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
Maehara-style modal nested calculi
Fregean Description Theory in Proof-Theoretical Setting
A Lemma which Distinguishes Minimal Logics from Other Logics
On representation of finite pseudo-Boolean algebras and one of its applications
Process and action: Relevant theory and logics
Notes on the theory of variable binding term operators
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
A reduction theorem for normal algorithms
A knowledge representation perspective: Logics for paraconsistent reasoning
Henkin's theorem in textbooks
Relevant analytic tableaux
Independence of two nice sets of axioms for the propositional calculus
On a Characteristic Feature of the Positive Logics
On Development of Formal Systems Starting from Primitive Logic
A general schema for bilateral proof rules
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
The harmony of identity

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