Monadic predicate calculus - PDFSEARCH.IO - Document Search Engine

Monadic predicate calculus
Results: 6

#	Item
1	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
2	Appendix: Chapter 6, §7, second printing 7 Tableaux for monadic predicate logic In this section, we extend the semantic tableau test for validity in sentential logic (see §5 of Chapter Three) to monadic predicate logi Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1997-09-24 14:52:28 Method of analytic tableaux First-order logic Quantification Monadic predicate calculus Interpretation Atomic formula Well-formed formula Monad FO Logic Mathematical logic Predicate logic
3	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
4	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics
5	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
6	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic