Computational Interrpretations of Logics
Silvia Ghilezan, Silvia Likavec (2009)
Zbornik Radova
Similarity:
Silvia Ghilezan, Silvia Likavec (2009)
Zbornik Radova
Similarity:
Mariusz Giero (2012)
Formalized Mathematics
Similarity:
This is a preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [12]. We introduce n-ary connectives and prove their properties. We derive temporal logic formulas.
Silvia Likavec, Pierre Lescanne (2012)
Publications de l'Institut Mathématique
Similarity:
Jan Jaspars (1993)
Banach Center Publications
Similarity:
A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].
A. Simon (1993)
Banach Center Publications
Similarity:
Szabolcs Mikulás (1993)
Banach Center Publications
Similarity:
In [vB88], Johan van Benthem introduces Relational Semantics (RelSem for short), and states Soundness Theorem for Lambek Calculus (LC) w.r.t. RelSem. After doing this, he writes: "it would be very interesting to have the converse too", i.e., to have Completeness Theorem. The same question is in [vB91, p. 235]. In the following, we state Strong Completeness Theorems for different versions of LC.
Andrade, Edgar J., Becerra, Edward (2007)
Revista Colombiana de Matemáticas
Similarity:
Marta Bílková (2001)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We study relations between propositional Monotone Sequent Calculus (MLK --- also known as Geometric Logic) and Resolution with respect to the complexity of proofs, namely to the concept of the polynomial simulation of proofs. We consider Resolution on sets of monochromatic clauses. We prove that there exists a polynomial simulation of proofs in MLK by intuitionistic proofs. We show a polynomial simulation between proofs from axioms in MLK and corresponding proofs of contradiction (refutations)...
Dragan Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović (2010)
Publications de l'Institut Mathématique
Similarity:
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity: