<title>Uncertainty in fuzzy and partial logic in the context of electrical CAD</title>

What is a Horn clause in partial logic?

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018434 ◽

1991 ◽

pp. 65-77

Author(s):

Tore Langholm

Keyword(s):

Horn Clause ◽

Partial Logic

Download Full-text

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_6 ◽

2015 ◽

pp. 41-48 ◽

Cited By ~ 3

Author(s):

Jozef Kostolny ◽

Elena Zaitseva ◽

Suzana Stojković ◽

Radomir Stanković

Keyword(s):

Decision Diagrams ◽

Partial Logic

Download Full-text

A modal reduction for partial logic

Journal of Philosophical Logic ◽

10.1007/bf01052534 ◽

1993 ◽

Vol 22 (4) ◽

pp. 429-435 ◽

Cited By ~ 1

Author(s):

Juan Barba

Keyword(s):

Modal Reduction ◽

Partial Logic

Download Full-text

Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic

Notre Dame Journal of Formal Logic ◽

10.1305/ndjfl/1040609292 ◽

1994 ◽

Vol 35 (1) ◽

pp. 15-40 ◽

Cited By ~ 11

Author(s):

Roland Hinnion

Keyword(s):

Set Theory ◽

Partial Logic ◽

Naive Set Theory

Download Full-text

Partial Logic

Handbook of Philosophical Logic ◽

10.1007/978-94-017-0458-8_5 ◽

2002 ◽

pp. 261-353 ◽

Cited By ~ 23

Author(s):

Stephen Blamey

Keyword(s):

Partial Logic

Download Full-text

Honesty in Partial Logic

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50149-4 ◽

1994 ◽

pp. 583-594 ◽

Cited By ~ 1

Author(s):

Wiebe van der Hoek ◽

Jan Jaspars ◽

Elias Thijsse

Keyword(s):

Partial Logic

Download Full-text

Partial logic in a model-theoretic approach. Ehrenfeucht games with incomplete information

Acta Scientiarum Mathematicarum ◽

10.1007/bf03651361 ◽

2011 ◽

Vol 77 (1-2) ◽

pp. 3-26

Author(s):

Artur Woliński

Keyword(s):

Incomplete Information ◽

Theoretic Approach ◽

Partial Logic ◽

Games With Incomplete Information

Download Full-text

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

10.1109/dsd53832.2021.00040 ◽

2021 ◽

Author(s):

Tobias Scheipel ◽

Peter Brungs ◽

Marcel Baunach

Keyword(s):

Partial Logic

Download Full-text

Axiomatizing Kripke's theory in partial logic

Axiomatic Theories of Truth ◽

10.1017/cbo9781139696586.019 ◽

2015 ◽

pp. 214-242

Author(s):

Volker Halbach

Keyword(s):

Partial Logic

Download Full-text

Permissive subsorted partial logic in CASL

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000465 ◽

1997 ◽

pp. 91-107 ◽

Cited By ~ 12

Author(s):

Maura Cerioli ◽

Anne Haxthausen ◽

Bernd Krieg-Brückner ◽

Till Mossakowski

Keyword(s):

Partial Logic

Download Full-text