A temporal negative normal form which preserves implicants and implicates

, &
Journal of Applied Non-Classical Logics 10 (3-4) (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

A temporal negative normal form which preserves implicants and implicates.Pablo Cordero, Manuel Enciso & Inma P. de Guzmán - 2000 - Journal of Applied Non-Classical Logics 10 (3):243-272.
The normal form is not sufficient.Antonio Quesada - 2001 - Economics and Philosophy 17 (2):235-243.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
Temporal parts and complex predicates.Thomas Sattig - 2002 - Proceedings of the Aristotelian Society 102 (3):279–286.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.
Stochastic Evolution of Rules for Playing Finite Normal Form Games.Fabrizio Germano - 2007 - Theory and Decision 62 (4):311-333.
A local normal form theorem for infinitary logic with unary quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2005 - Mathematical Logic Quarterly 51 (2):137-144.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Organization in normal and retarded children: Temporal aspects of storage and retrieval.Mark H. Ashcraft & George Kellas - 1974 - Journal of Experimental Psychology 103 (3):502.
Proving theorems of the second order Lambek calculus in polynomial time.Erik Aarts - 1994 - Studia Logica 53 (3):373 - 387.
Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.

Analytics

Added to PP
2014-03-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references