Showing 1 - 20 results of 26 for search '"proof theory"', query time: 0.54s Refine Results
  1. 1
    Revisiting the proof theory of Classical S4
    Get full text
    Article
  2. 2
    A Proof Theory for Model Checking: An Extended Abstract
    by Quentin Heath, Dale Miller
    Published 2017-01-01
    Get full text
    Article
  3. 3
    Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
    by Paolo Baldi, Petr Cintula, Carles Noguera
    Published 2020-07-01
    “... contribute to the proof theory of two-layered modal logics of uncertainty by introducing a hypersequent...”
    Get full text
    Article
  4. 4
    New philosophy of validation and verification for cardiology: classical proof theory imported from natural sciences
    by Mikhail Y. Rudenko, Goran Krstacic
    Published 2014-05-01
    “... based on the classical proof theory borrowed from natural sciences. The aim hereof is to provide a new...”
    Get full text
    Article
  5. 5
    A proof-theoretic approach to scope ambiguity in compositional vector space models
    by Gijs Wijnholds
    Published 2019-03-01
    Subjects: “...proof theory...”
    Get full text
    Article
  6. 6
    THE PROBLEMS OF EVIDENCE ADMISSIBILITY IN THE CRIMINAL PROCEDURE OF THE REPUBLIC OF KAZAKHSTAN
    by Bersugurova L.Sh., Dyussembayeva A.S.
    Published 2019-06-01
    Subjects: “...criminal proof theory...”
    Get full text
    Article
  7. 7
    Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
    Subjects: “...proof theory...”
    Get full text
    Article
  8. 8
    HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS
    Subjects: “...Proof theory...”
    Get full text
    Article
  9. 9
    Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
    Subjects: “...proof theory...”
    Get full text
    Article
  10. 10
    Hybrid Deduction–Refutation Systems
    by Valentin Goranko
    Published 2019-10-01
    Subjects: “...meta-proof theory...”
    Get full text
    Article
  11. 11
    A Monadic Formalization of ML5
    by Daniel R. Licata, Robert Harper
    Published 2010-09-01
    “... translation within the Agda proof assistant. Rather than formalizing lax S5 as a proof theory, we emph{embed...”
    Get full text
    Article
  12. 12
    Point-and-Click Logic
    by Matti NYKÄNEN
    Published 2005-04-01
    “...Students of proof theory, a branch of formal logic, can benefit from computerized tools. We...”
    Get full text
    Article
  13. 13
    PROOFTOOL: a GUI for the GAPT Framework
    “... for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization...”
    Get full text
    Article
  14. 14
    A Canonical Model Construction for Iteration-Free PDL with Intersection
    by Florian Bruse, Daniel Kernberger, Martin Lange
    Published 2016-09-01
    “... with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory...”
    Get full text
    Article
  15. 15
    The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
    by David Makinson
    Published 2020-12-01
    “...', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory...”
    Get full text
    Article
  16. 16
    RECONSTRUCTION OF SCIENTIFIC INVESTIGATION IN INDONESIA
    by Teguh Prihmono
    Published 2018-08-01
    “... discussion is concluded. The problem is analyzed with proof theory and the theory of legal certainty so...”
    Get full text
    Article
  17. 17
    Importing SMT and Connection proofs as expansion trees
    by Giselle Reis
    Published 2015-07-01
    “... the corresponding proof theory, and then study the language used to represent proofs, on a prover by prover basis...”
    Get full text
    Article
  18. 18
    The Theory of Finitely Supported Structures and Choice Forms
    by A. Alexandru
    Published 2018-06-01
    “... such as semantics foundation, automata theory, domain theory, proof theory and software verification). The results...”
    Get full text
    Article
  19. 19
    A proof-theoretic view on scheduling in concurrency
    by Emmanuel Beffara
    Published 2014-09-01
    “... interaction called "proofs as schedules". Observing that proof theory is well suited to the description...”
    Get full text
    Article
  20. 20
    The Consistency and Complexity of Multiplicative Additive System Virtual
    by R. Horne
    Published 2015-12-01
    “...This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search