Results 1 to 10 of about 7,385,436 (192)
Proof Theory of a Multi-Lane Spatial Logic [PDF]
Logical Methods in Computer Science, 2015 We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities.
Sven Linker, Martin Hilscher
doaj +3 more sources
Appl Math Comput, 2012 Axiomatization of Physics (and science in general) has many drawbacks that are correctly criticized by opposing philosophical views of science. This paper shows that, by giving formal proofs a more prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated.
Paleo BW.
europepmc +4 more sources
A Proof Theory for Model Checking [PDF]
Journal of Automated Reasoning, 2017 While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking.
Quentin Heath, D. Miller
semanticscholar +6 more sources
Classical BI: Its Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2010 We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
James Brotherston, Cristiano Calcagno
doaj +3 more sources
General Proof Theory: Introduction [PDF]
Studia Logica, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Piecha, Peter Schroeder-Heister
exaly +2 more sources
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +3 more sources
, 2017 Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic systems and proving those systems consistent using restricted, finitary means ...
J. Avigad
semanticscholar +2 more sources
Proof theory for admissible rules
Annals of Pure and Applied Logic, 2009 The paper is a contribution to the study of admissible rules of nonclassical propositional logics. A rule (closed under substitution) is admissible in a logic if the set of its theorems is closed under the rule. Admissibility was shown to be decidable in a variety of normal modal and superintuitionistic logics by \textit{V. V.
Rosalie Iemhoff, George Metcalfe
exaly +8 more sources