Amanote Research

Amanote Research

    RegisterSign In

Simulating Without Negation

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/7.4.501
Full Text
Open PDF
Abstract

Available in full text

Categories
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
Date

January 1, 1997

Authors
NATASHA KURTONINAMAARTEN DE RIJKE
Publisher

Oxford University Press (OUP)


Related search

Subminimal Negation

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2016English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

On Two Fragments With Negation and Without Implication of the Logic of Residuated Lattices

Archive for Mathematical Logic
PhilosophyLogic
2005English

Negation in Mongolic

Suomalais-Ugrilaisen Seuran Aikakauskirja
2015English

Studies on Negation

2016English

Negation Im Alznerischen

Acta Universitatis Lodziensis. Folia Germanica
2018English

Polarizing Double-Negation Translations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Negation of Impossibility

2019English

Loop Checking and Negation

The Journal of Logic Programming
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy