Constructive predicate logic with strong negation and model theory

Notre Dame Journal of Formal Logic 29 (1):18-27 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1988

DOI

10.1305/ndjfl/1093637767

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Subformula semantics for strong negation systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Privations, Negations and the Square: Basic Elements of a Logic of Privations.Stamatios Gerogiorgakis - 2012 - In Jean-Yves Beziau & Dale Jacquette (eds.), Around and beyond the Square of Opposition. Birkhäuser-Springer. pp. 229--239.
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
Quantized linear logic, involutive quantales and strong negation.Norihiro Kamide - 2004 - Studia Logica 77 (3):355-384.
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
An introduction to the model theory of first-order predicate logic and a related temporal logic.Robert Mattison - 1968 - Santa Monica, Calif.,: Rand.
The non-Boolean logic of natural language negation.Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari - 1994 - Philosophia Mathematica 2 (1):45-68.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown

Analytics

Added to PP
2010-08-24

Downloads
29 (#535,100)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.
A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.

Add more citations

References found in this work

No references found.

Add more references