scientific article; zbMATH DE number 3261581

Cited in

(only showing first 100 items - show all)

Lorenzen and constructive mathematics
Bi-Heyting algebras, toposes and modalities
Hypersequent calculi for intuitionistic logic with classical atoms
Curry's formalism as structuralism
Fregean Description Theory in Proof-Theoretical Setting
Eliminability of cut in hypersequent calculi for some modal logics of linear frames
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
Simple cut elimination proof for hybrid logic
Netl and subsequent path-based inheritance theories
The harmony of identity
On ordered filters of implicative semigroups
Kripke models for linear logic
On derivations and generalized derivations of bitonic algebras
Two examples of algorithms
Negative equivalence of extensions of minimal logic
Hilbert algebras as implicative partial semilattices
Non-classical operations hidden in classical logic
scientific article; zbMATH DE number 3696535 (Why is no real title available?)
A reduction theorem for normal algorithms
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
Sequent-systems for modal logic
Coquand's calculus of constructions: A mathematical foundation for a proof development system
What is a non-truth-functional logic?
Henkin's theorem in textbooks
A knowledge representation perspective: Logics for paraconsistent reasoning
Extended topology: Filters and convergence. I
Suszko's thesis, inferential many-valuedness, and the notion of a logical system
Why ramify?
What is a logical theory? On theories containing assertions and denials
Noncumulative dialectical models and formal dialectics
On sequence-conclusion natural deduction systems
On representation of finite pseudo-Boolean algebras and one of its applications
Process and action: Relevant theory and logics
Dialogues, strategies, and intuitionistic provability
On cut elimination in the presence of perice rule
Subminimal negation on the Australian plan
On congruences in weak implicative semi-lattices
A survey of nonstandard sequent calculi
The neglect of epistemic considerations in logic: the case of epistemic assumptions
The revival of rejective negation
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
Some calculi with strong negation primitive
Head or tail? de morgan on the bounds of traditional logic
Bounds for cut elimination in intuitionistic propositional logic
Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra
A propositional fragment of Lesniewski's ontology
Relational semantics for Kleene logic and action logic
L-ALMOST DISTRIBUTIVE LATTICES
A weakening of intuitionistic logic
A general schema for bilateral proof rules
2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
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}

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)