Maximum Cuts in Extended Natural Deduction
Mirjana Borisavljević (2010)
Publications de l'Institut Mathématique
Similarity:
Mirjana Borisavljević (2010)
Publications de l'Institut Mathématique
Similarity:
Mirjana Borisavljević (2010)
Kragujevac Journal of Mathematics
Similarity:
Mirjana Borisavljević (2009)
Publications de l'Institut Mathématique
Similarity:
Mirjana Borisavljević (2007)
Publications de l'Institut Mathématique
Similarity:
Barcucci, Elena, Pergola, Elisa, Pinzani, Renzo, Rinaldi, Simone (2001)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Callan, David (2005)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Mariusz Giero (2012)
Formalized Mathematics
Similarity:
We prove weak (finite set of premises) completeness theorem for extended propositional linear time temporal logic with irreflexive version of until-operator. We base it on the proof of completeness for basic propositional linear time temporal logic given in [20] which roughly follows the idea of the Henkin-Hasenjaeger method for classical logic. We show that a temporal model exists for every formula which negation is not derivable (Satisfiability Theorem). The contrapositive of that...
de Paiva, Valeria, Ritter, Eike (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Verma, Kumar Neeraj, Goubault-Larrecq, Jean (2005)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
Elias Bittar (1999)
Banach Center Publications
Similarity:
We define an equivalent variant of the Gentzen sequent calculus . In weakenings or contractions can be performed in parallel. This modification allows us to interpret a symmetrical system of mix elimination rules by a finite rewriting system; the termination of this rewriting system can be machine checked. We give also a self-contained strong normalization proof by structural induction. We give another strong normalization proof by a strictly monotone subrecursive interpretation;...
E. López-Escobar (1991)
Fundamenta Mathematicae
Similarity: