Amanote Research
Register
Sign In
Paraconsistent Negation and Classical Negation in Computation Tree Logic
doi 10.5220/0002699504640469
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
Paraconsistent Logic and Weakening of Intuitionistic Negation
Journal of Intelligent Systems
Information Systems
Artificial Intelligence
Software
The Alternating Fixpoint of Logic Programs With Negation
Negation in Mongolic
Suomalais-Ugrilaisen Seuran Aikakauskirja
Subminimal Negation
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
Manuscrito
Philosophy
Studies on Negation
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
Loop Checking and Negation
The Journal of Logic Programming
Negation and Negative Polarity