Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
31	Giovanni Tuzet Bocconi University (Milan) RESPONSIBLE FOR TRUTH? Peirce on Judgment and Assertion Add to Reading List Source URL: www.unav.es Language: English - Date: 2006-03-21 10:12:52 Charles Sanders Peirce Philosophical logic Philosophy of science Epistemology Theories of truth Truth Pragmatism Abductive reasoning Judgment Inquiry Meaning Sequent
32	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
33	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
34	Or what?: Challenging the speaker One way of challenging an imperative is shown in (1): B asks what the consequences would be if the command is not fulfilled (we refer to this response as an OWQ). We address two main que Add to Reading List Source URL: linguistics.concordia.ca Language: English English grammar Imperative mood Russian grammar Ukrainian grammar Logical disjunction Sequent
35	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
36	1 Almost Affine Lambda Terms Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:10 Proof theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Sequent Valuation CurryHoward correspondence Quantum group
37	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
38	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Modal Sequent Calculus for Propositional Separation Logic Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-04-25 20:44:09
39	CrossMark_Color_Stacked_p Add to Reading List Source URL: cocosci.berkeley.edu Language: English - Date: 2014-06-02 18:12:27 Cognitive science Causality Conditionals Philosophy of science Cognition Sequent
40	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra