Search results
From MaRDI portal
- 2017-09-05 Paper A sequent calculus and a theorem prover for standard conditional logics 2017-07-12 Paper Standard Sequent Calculi for Lewis’ Logics of...10 bytes (18 words) - 14:35, 11 December 2023
- Intuitionistic Sequent Calculi 2009-06-30 Paper Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi 2009-03-10 Paper...10 bytes (17 words) - 13:41, 13 December 2023
- conditional logics 2017-07-12 Paper Sequent calculi for propositional nonmonotonic logics 2017-06-13 Paper Standard Sequent Calculi for Lewis’ Logics of Counterfactuals...10 bytes (16 words) - 17:38, 9 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2791891 2016-03-16 Paper Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness:...10 bytes (16 words) - 18:32, 12 December 2023
- 2022-03-23 Paper BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS 2021-10-27 Paper Bounded sequent calculi for non-classical logics via...10 bytes (16 words) - 19:17, 24 September 2023
- Construction of Analytic Sequent Calculi for Sub-classical Logics 2015-01-13 Paper SAT-Based Decision Procedure for Analytic Pure Sequent Calculi 2014-09-26 Paper...10 bytes (16 words) - 14:11, 24 September 2023
- Publication Date of Publication Type Cut-free sequent calculi for the provability logic D 2023-10-25 Paper On the completeness and the decidability of...10 bytes (16 words) - 03:04, 7 October 2023
- Distributive-lattice semantics of sequent calculi with structural rules 2013-01-25 Paper Many-place sequent calculi for finitely-valued logics 2013-01-25...10 bytes (18 words) - 21:16, 24 September 2023
- Bunched Hypersequent Calculi for Distributive Substructural Logics 2019-01-10 Paper Non-commutative classical arithmetical sequent calculi are intuitionistic...10 bytes (16 words) - 12:35, 24 September 2023
- Finite-valued semantics for canonical labelled calculi 2015-06-23 Paper On the Construction of Analytic Sequent Calculi for Sub-classical Logics 2015-01-13 Paper...10 bytes (16 words) - 18:54, 24 September 2023
- the Logic of Comparative Concept Similarity 2016-08-05 Paper Nested sequent calculi for normal conditional logics 2016-04-28 Paper Preferential Semantics...10 bytes (16 words) - 02:58, 25 September 2023
- Publication Date of Publication Type \(L\)-domains as locally continuous sequent calculi 2024-04-16 Paper A set-theoretic representation of algebraic L-domains...10 bytes (16 words) - 22:50, 24 September 2023
- for sequents of temporal logic 2022-12-20 Paper Loop-check specification for a sequent calculus of temporal logic 2022-11-29 Paper Finite sequent calculi...10 bytes (16 words) - 19:53, 24 September 2023
- non-admissibility of \textit{Cut} in stoic logic 2019-06-19 Paper CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION 2019-01-04 Paper POSIX Lexing...10 bytes (16 words) - 10:04, 7 October 2023
- implementation of internal calculi for Lewis' logics of counterfactual reasoning 2018-02-02 Paper Standard Sequent Calculi for Lewis’ Logics of Counterfactuals...10 bytes (17 words) - 12:37, 28 January 2024
- 2019-05-02 Paper Terminating sequent calculi for two intuitionistic modal logics 2019-01-31 Paper Uniform interpolation and sequent calculi in modal logic 2019-01-24...10 bytes (16 words) - 16:43, 24 September 2023
- logics 2021-12-03 Paper Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 2021-12-02 Paper Labelled calculi for quantified modal logics...10 bytes (16 words) - 22:19, 24 September 2023
- SEMANTICS TO SEQUENT CALCULUS 2018-11-29 Paper https://portal.mardi4nfdi.de/entity/Q4636042 2018-04-23 Paper Countermodels from Sequent Calculi in Multi-Modal...10 bytes (17 words) - 02:15, 25 September 2023
- profitability 2019-10-17 Paper Sequent calculi for global modal consequence relations 2019-09-03 Paper Peirce’s Sequent Proofs of Distributivity 2019-07-24...10 bytes (16 words) - 17:34, 6 October 2023
- Recursion for Coinductive Types 2015-10-01 Paper From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic 2014-09-15...10 bytes (17 words) - 19:10, 24 September 2023