Results 11 to 20 of about 27,177 (320)
Relativized Propositional Calculus [PDF]
, 2012 Proof systems for the Relativized Propositional Calculus are defined and compared.
Cook, Stephen
openaire +3 more sources
Fixed-point elimination in the intuitionistic propositional calculus
, 2016 It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete
Silvio Ghilardi +2 more
openalex +5 more sources
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems [PDF]
, 2020 This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined ...
A Ciabattoni +17 more
core +2 more sources
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
Lietuvos Matematikos Rinkinys, 2008 In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj +1 more source
Brodsky’s coding method for propositional logic
Lietuvos Matematikos Rinkinys, 2017 Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees.
Romas Alonderis
doaj +1 more source
Axioms, 2020 In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference.
Janusz Ciuciura
doaj +1 more source
η-conversions of IPC implemented in atomic F [PDF]
, 2016 It is known that the β-conversions of the full intuitionistic propositional calculus (IPC) translate into βη-conversions of the atomic polymorphic calculus Fat.
Ferreira, Gilda
core +1 more source
A Complete Axiomatisation for Quantifier-Free Separation Logic [PDF]
Logical Methods in Computer Science, 2021 We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels.
Stéphane Demri +2 more
doaj +1 more source
A sequent calculus for propositional temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2011 A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj +1 more source
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
Principia: An International Journal of Epistemology, 2010 In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson ...
Andréa Loparić
doaj +3 more sources