Search results
From MaRDI portal
- expressiveness and decidability of higher-order process calculi 2011-02-21 Paper Termination in higher-order concurrent calculi 2010-10-22 Paper On the Expressiveness...10 bytes (17 words) - 11:44, 11 December 2023
- sequent calculi for PLTL 2022-10-18 Paper Loop-type sequent calculi for temporal logic 2021-02-17 Paper Similarity saturation for first order linear temporal...10 bytes (17 words) - 04:03, 9 December 2023
- analytic calculi for first-order rational Pavelka logic 2020-11-24 Paper Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural...10 bytes (18 words) - 02:05, 25 September 2023
- de/entity/Q5208874 2020-01-22 Paper Combining first order algebraic rewriting systems, recursion and extensional lambda calculi 2019-04-29 Paper A confluent reduction...10 bytes (17 words) - 16:14, 12 December 2023
- 2020-02-05 Paper First-Order Logic Without Bound Variables: Compositional Semantics 2020-02-04 Paper Gentzen’s Original Consistency Proof and the Bar Theorem...10 bytes (19 words) - 10:36, 13 December 2023
- Implicit proofs 2005-08-29 Paper Combinatorics of first order structures and propositional proof systems 2004-12-16 Paper Diagonalization in proof complexity...10 bytes (17 words) - 12:15, 9 December 2023
- m-valued functional calculi of first order. Part II 1951-01-01 Paper A note on the deductive completeness of m-valued propositional calculi 1950-01-01 Paper...10 bytes (19 words) - 11:54, 13 December 2023
- completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic 2004-10-27 Paper Non deterministic classical...10 bytes (16 words) - 10:43, 12 December 2023
- enduring scandal of deduction 2023-01-12 Paper Valuation semantics for first-order logics of evidence and truth 2022-09-30 Paper LOGICS OF FORMAL INCONSISTENCY...10 bytes (19 words) - 19:31, 9 December 2023
- Complete for (0,1): a Short Proof 2006-07-06 Paper Cut elimination for S4C: A case study 2006-03-17 Paper A simple proof of second-order strong normalization...10 bytes (18 words) - 17:17, 9 December 2023
- sequent-calculus based formulation of the extended first epsilon theorem 2018-04-06 Paper First-order interpolation of non-classical logics derived from...10 bytes (16 words) - 10:17, 6 October 2023
- Paraconsistent and Other Logics 2015-12-11 Paper Uniform proofs of standard completeness for extensions of first-order MTL 2015-10-12 Paper Taming Paraconsistent (and...10 bytes (16 words) - 03:21, 25 September 2023
- Verification of Alloy Specifications 2007-09-03 Paper Interpretability of first-order linear temporal logics in fork algebras 2006-03-16 Paper...10 bytes (20 words) - 01:32, 13 December 2023
- Publication Date of Publication Type First-order unification in the PVS proof assistant 2019-01-08 Paper Applied logic for computer scientists. Computational...10 bytes (23 words) - 18:37, 24 September 2023
- m-valued functional calculi of first order. Part II 1951-01-01 Paper A note on the deductive completeness of m-valued propositional calculi 1950-01-01 Paper...10 bytes (18 words) - 13:17, 28 January 2024
- Duality of Proofs and Countermodels in Labelled Sequent Calculi 2013-10-04 Paper Proof analysis in intermediate logics 2012-02-10 Paper Proof Analysis 2012-01-31...10 bytes (17 words) - 02:15, 25 September 2023
- the first-order functional calculus 1963-01-01 Paper About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi 1963-01-01...10 bytes (16 words) - 20:11, 6 October 2023
- Publication Date of Publication Type Proof systems for super-strict implication 2024-04-10 Paper Proof-theoretic pluralism 2023-12-14 Paper Glivenko sequent...10 bytes (16 words) - 22:19, 24 September 2023
- GEOMETRISATION OF FIRST-ORDER LOGIC 2016-03-18 Paper Invited Talk: Coherentisation of First-Order Logic 2015-12-11 Paper Algebra, proof theory and applications...10 bytes (16 words) - 10:04, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5155678 2021-10-08 Paper Internal proof calculi for modal logics with separating conjunction 2021-09-22 Paper https://portal...10 bytes (18 words) - 07:38, 9 December 2023
