Pesca

swMATH13664MaRDI QIDQ25578FDOQ25578

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Composition of deductions within the propositions-as-types paradigm
• A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
• Noncontractive classical logic
• CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
• A more unified approach to free logics
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• Free logics are cut-free
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Normality, non-contamination and logical depth in classical natural deduction
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• Normal derivability in classical natural deduction
• Machine-Checked Proof-Theory for Propositional Modal Logics
• Proof-theoretic harmony: towards an intensional account
• A conservative negation extension of positive semilattice logic without the finite model property
• Recapturing dynamic logic of relation changers via bounded morphisms
• Proof analysis of Peirce's alpha system of graphs
• AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
• Sequent calculi for the propositional logic of HYPE
• Sequent Calculus for Euler Diagrams
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• A message-passing interpretation of adjoint logic
• Subatomic negation
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• Sequent calculi for \(\mathsf{SCI}\)
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Proof search for propositional abstract separation logics via labelled sequents
• Logic and majority voting
• Reasoning processes in propositional logic
• Cut Elimination, Substitution and Normalisation
• CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics
• Stoic Sequent Logic and Proof Theory
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Sequent calculi for intuitionistic Gödel-Löb logic
• Interpolation in extensions of first-order logic
• Reasoning with ambiguity
• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• A new connective in natural deduction, and its application to quantum computing
• A new connective in natural deduction, and its application to quantum computing
• Classical harmony and separability
• Equality and Apartness in Bi-intuitinistic Logic
• Fregean Description Theory in Proof-Theoretical Setting
• A simple sequent calculus for Angell's logic of analytic containment
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Varieties of linear calculi
• Logicality, double-line rules, and modalities
• Title not available (Why is that?)
• Verificationism and Classical Realizability
• Cut elimination for entailment relations
• A survey of nonstandard sequent calculi
• An Investigation into Intuitionistic Logic with Identity
• Title not available (Why is that?)
• Towards a non-classical meta-theory for substructural approaches to paradox
• On paradoxes in normal form
• Maximum segments as natural deduction images of some cuts
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Title not available (Why is that?)
• Functional Completeness in CPL via Correspondence Analysis
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
• Normal proofs, cut free derivations and structural rules
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• Leśniewski's ontology -- proof-theoretic characterization
• Reasoning about truth in first-order logic
• Incomplete symbols -- definite descriptions revisited
• Paradox and logical revision. A short introduction
• Yet another bijection between sequent calculus and natural deduction
• A dual-context sequent calculus for the constructive modal logic S4
• Tableaux and dual tableaux: transformation of proofs
• A framework for proof systems
• Classical propositional logic and decidability of variables in intuitionistic propositional logic
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Title not available (Why is that?)
• Proof theory for functional modal logic
• General-elimination harmony and the meaning of the logical constants
• Combinatorial analysis of proofs in projective and affine geometry
• Admissibility of cut in LC with fixed point combinator
• Glivenko sequent classes in the light of structural proof theory
• Socratic proofs
• Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
• Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
• Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
• Decision methods for linearly ordered Heyting algebras
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Principles for object-linguistic consequence: from logical to irreflexive
• On all strong Kleene generalizations of classical logic
• Analytic rules for mereology
• Cut-elimination and quantification in canonical systems
• Judgement aggregation in non-classical logics
• Sequent-calculi for metainferential logics
• The Church-Fitch knowability paradox in the light of structural proof theory
• Corrected upper bounds for free-cut elimination
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Axiomatizing geometric constructions
• Forms of the Pasch axiom in ordered geometry
• Validity concepts in proof-theoretic semantics

This page was built for software: Pesca