scientific article; zbMATH DE number 3261581

Cited in

(only showing first 100 items - show all)

What is a non-truth-functional logic?
Noncumulative dialectical models and formal dialectics
Dialogues, strategies, and intuitionistic provability
On sequence-conclusion natural deduction systems
On matrix equations in a class of complete and completely distributive lattices
Sentential constants in R and \(R^{\neg}\)
Models for normal intuitionistic modal logics
Structural aspects of semantic-directed clusters
Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
Fuzzy power sets and fuzzy implication operators
Relevant Robinson's arithmetic
Solvable classes of pseudoprenex formulas
Some work of Lithuanian mathematicians in the domain of mathematical logic and programming
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
Lower bounds for increasing complexity of derivations after cut elimination
Three ways of recognizing inessential formulas in sequents
Implementing the `Fool's model' of combinatory logic
Coquand's calculus of constructions: A mathematical foundation for a proof development system
Netl and subsequent path-based inheritance theories
Bounds for cut elimination in intuitionistic propositional logic
On representation of finite pseudo-Boolean algebras and one of its applications
Homomorphisms of implicative semigroups
Process and action: Relevant theory and logics
Linearizing intuitionistic implication
On a generalized cylindrical algebra and intuitionistic logic
Discussive sentential calculuc of Jaskowski
The Lesniewski-Curry theory of syntactical categories and the categorially open functors
Consistency proofs for applied mathematics
A propositional fragment of Lesniewski's ontology
Relevant analytic tableaux
\(\supset\)E is admissible in ``true relevant arithmetic
Separability of normalizable superintuitionistic propositional logics
Implicative commutative semigroups are equivalent to a class of BCK algebras
New axiomatics for relevant logics. I
Four-valued logic
The semantics of entailment omega
The revival of rejective negation
Peirce's rule in natural deduction.
Uni-soft structure applied to ordered semigroups
On congruences in weak implicative semi-lattices
Proof theory for functional modal logic
Maehara-style modal nested calculi
Negative equivalence of extensions of minimal logic
\(l\)-hemi-implicative semilattices
On the algebra of classes of formulae of Jaskowski's discussive system
On filters of implicative semilattices
Variants of the basic calculus of constructions
Positive modal logic
Bi-Heyting algebras, toposes and modalities
Curry's formalism as structuralism
From multiple sequent for additive linear logic to decision procedures for free lattices
A cut-elimination proof in positive relevant logic with necessity
Subminimal negation on the Australian plan
On relative principal congruences in term quasivarieties
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
A survey of nonstandard sequent calculi
About the equivalent theories of algebras with relations
On logical systems with implications and theories of algebras
Conservative extension in relevant implication
The harmony of identity
The neglect of epistemic considerations in logic: the case of epistemic assumptions
Variations of the free implicative semilattice extension of a Hilbert algebra
An alternative normalization of the implicative fragment of classical logic
Why ramify?
On ordered filters of implicative semigroups
Extended topology: Filters and convergence. I
On structural features of the implication fragment of Frege's \textit{Grundgesetze}
Hilbert algebras as implicative partial semilattices
The decidability of the intensional fragment of classical linear logic
A weakening of intuitionistic logic
Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
Current trends in substructural logics
A Brief History of Natural Deduction
Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra
Strategic maneuvering in mathematical proofs
Hypersequent calculi for S5: the methods of cut elimination
Simple cut elimination proof for hybrid logic
L-ALMOST DISTRIBUTIVE LATTICES
Kripke models for linear logic
The compactness of first-order logic:from gödel to lindström
A note on some intermediate propositional calculi
Intuitionistic Decision Procedures Since Gentzen
Henkin's theorem in textbooks
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
Non-classical operations hidden in classical logic
Notes on the theory of variable binding term operators
On the proof theory of the intermediate logic MH
On cut elimination in the presence of perice rule
scientific article; zbMATH DE number 3696535 (Why is no real title available?)
Meeting of the Association for Symbolic Logic, New York, 1979
On the proof theory of the modal logic for arithmetic provability
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
scientific article; zbMATH DE number 3514943 (Why is no real title available?)
On interpolation when function symbols are present
A sequent calculus for type assignment
Consistency proof without transfinite induction for a formal system for turing machines
A knowledge representation perspective: Logics for paraconsistent reasoning
Head or tail? de morgan on the bounds of traditional logic
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02

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)