Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
41	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
42	Classical call-by-need sequent calculi: The unity of semantic artifacts Zena M. Ariola 1 Add to Reading List Source URL: ix.cs.uoregon.edu Language: English - Date: 2012-04-03 00:05:46
43	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
44	Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-12-17 22:40:37
45	A Cut-Free and Invariant-Free Sequent Calculus for PLTL ? J. Gaintzarain1, M. Hermo1 , P. Lucio1 , M. Navarro1 , and F. Orejas2 1 2 Add to Reading List Source URL: www.sc.ehu.es Language: English - Date: 2007-06-15 06:00:24
46	A Constructive Conditional Logic for Access Control: a completeness result and a sequent calculus Valerio Genovese1, Laura Giordano2, Valentina Gliozzi3 , and Gian Luca Pozzato3 1 Computer Science and Communications Res Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-07 09:03:32
47	From Natural Deduction to the Sequent Calculus by passing an accumulator Matthias Puech Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-08-26 07:29:30
48	1 Counterpossibles [draft; short version may appear in Topoi, fuller version in Brad Armour-Garb and Fred Kroon (eds.), Philosophical Fictionalism] Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2015-11-10 10:21:00 Philosophy Logic Abstraction Conditionals Modal logic Philosophy of science Mathematical logic Truth Counterfactual conditional Sequent Impossible world Causality
49	Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-01-03 08:27:31
50	Saturation up to Redundancy for Tableau and Sequent Calculi Martin Giese Johann Radon Institute for Computational and Applied Mathematics Altenbergerstr. 69, A-4040 Linz, Austria Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-09-18 03:47:57