scientific article; zbMATH DE number 3261581

Cited in

(only showing first 100 items - show all)

Implicative commutative semigroups are equivalent to a class of BCK algebras
On the proof theory of the intermediate logic MH
A Remark on the Intersection of Tow Logics
On the decidability of implicational ticket entailment
On filters of implicative semilattices
Intensional models for first degree formulas
The Lesniewski-Curry theory of syntactical categories and the categorially open functors
Consistency proofs for applied mathematics
On the algebra of classes of formulae of Jaskowski's discussive system
On the proof theory of the modal logic for arithmetic provability
Variations of the free implicative semilattice extension of a Hilbert algebra
Current trends in substructural logics
Lower bounds for increasing complexity of derivations after cut elimination
On relative principal congruences in term quasivarieties
Consistency proof without transfinite induction for a formal system for turing machines
Types of I-free hereditary right maximal terms
Relevant Robinson's arithmetic
Maehara-style modal nested calculi
New axiomatics for relevant logics. I
Conservative extension in relevant implication
Ternary relations and relevant semantics
Sentential constants in R and \(R^{\neg}\)
Relevant analytic tableaux
Proof theory for functional modal logic
Rejection: a historico-epistemological view
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
On logical systems with implications and theories of algebras
Dialogspiele als Semantische Grundlage von Logikkalkülen
Linearizing intuitionistic implication
Admissibility of cut in LC with fixed point combinator
scientific article; zbMATH DE number 3382322 (Why is no real title available?)
Strategic maneuvering in mathematical proofs
Models for normal intuitionistic modal logics
On the fundamental role of `means that' in semantic theorizing
Subtractive logic
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
Structural aspects of semantic-directed clusters
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
On meaningfulness and truth
On the linearK-arboricity of cubic graphs
A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
\(\supset\)E is admissible in ``true relevant arithmetic
Variants of the basic calculus of constructions
Notes on the theory of variable binding term operators
Uni-soft structure applied to ordered semigroups
On structural features of the implication fragment of Frege's \textit{Grundgesetze}
On fuzzy ordered semigroups.
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Hypersequent calculi for S5: the methods of cut elimination
Four-valued logic
Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
Separability of normalizable superintuitionistic propositional logics
Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
Normalization and excluded middle. I
E, R AND γ
An alternative normalization of the implicative fragment of classical logic
From multiple sequent for additive linear logic to decision procedures for free lattices
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
scientific article; zbMATH DE number 7577565 (Why is no real title available?)
Peirce's rule in natural deduction.
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
A sequent calculus for type assignment
A Markov Algorithm Interpreter
Discussive sentential calculuc of Jaskowski
Homomorphisms of implicative semigroups
Coordination of parallel partially ordered processes
Solvable classes of pseudoprenex formulas
The semantics of entailment omega
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
Fuzzy power sets and fuzzy implication operators
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
On the role of implication in formal logic
Intuitionistic Decision Procedures Since Gentzen
On a generalized cylindrical algebra and intuitionistic logic
A survey of state vectors
Expansions of semi-Heyting algebras. I: Discriminator varieties
On interpolation when function symbols are present
Positive modal logic
Sentence, proposition and identity
Some work of Lithuanian mathematicians in the domain of mathematical logic and programming
A Brief History of Natural Deduction
Implementing the `Fool's model' of combinatory logic
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
Meeting of the Association for Symbolic Logic, New York, 1979
A note on some intermediate propositional calculi
About the equivalent theories of algebras with relations
On displaying negative modalities
The compactness of first-order logic:from gödel to lindström
A Lemma which Distinguishes Minimal Logics from Other Logics
On matrix equations in a class of complete and completely distributive lattices
Three ways of recognizing inessential formulas in sequents
Gentzenizations of relevant logics without distribution. I
\(l\)-hemi-implicative semilattices
A cut-elimination proof in positive relevant logic with necessity
Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
The decidability of the intensional fragment of classical linear logic
scientific article; zbMATH DE number 3514943 (Why is no real title available?)
Metalogic, Schopenhauer and universal logic
Certain Method for Generating a Series of Logics

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)