CIFOL: Case-Intensional First Order Logic

Journal of Philosophical Logic - Netherlands
doi 10.1007/s10992-012-9267-x
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

2010English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Geometrisation of First-Order Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2015English

Semigroups Underlying First-Order Logic

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
2006English

Literal Projection for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Blocked Clauses in First-Order Logic

English

A Short Tutorial on Order-Invariant First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Complexity of Existential Positive First-Order Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy