On the complexity of entailment in propositional multivalued logics

Marco Cadoli; Marco Schaerf

doi:10.1007/bf02136173

On the complexity of entailment in propositional multivalued logics

Annals of Mathematics and Artificial Intelligence ◽

10.1007/bf02136173 ◽

1996 ◽

Vol 18 (1) ◽

pp. 29-50 ◽

Cited By ~ 26

Author(s):

Marco Cadoli ◽

Marco Schaerf

Keyword(s):

Multivalued Logics

Download Full-text

Effectiveness and multivalued logics

Journal of Symbolic Logic ◽

10.2178/jsl/1140641166 ◽

2006 ◽

Vol 71 (1) ◽

pp. 137-162 ◽

Cited By ~ 16

Author(s):

Giangiacomo Gerla

Keyword(s):

Fuzzy Logic ◽

Domain Theory ◽

Effective Domain ◽

Multivalued Logics

AbstractEffective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.

Download Full-text

Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics

Foundations of Physics ◽

10.1007/s10701-009-9334-5 ◽

2009 ◽

Vol 41 (1) ◽

pp. 33-76 ◽

Cited By ~ 6

Author(s):

Diego L. Rapoport

Keyword(s):

Quantum Mechanics ◽

Klein Bottle ◽

Time Operator ◽

Cartesian Cut ◽

Self Reference ◽

Multivalued Logics

Download Full-text

S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305.

Journal of Symbolic Logic ◽

10.2307/2271498 ◽

1970 ◽

Vol 35 (4) ◽

pp. 596-597

Author(s):

Alan Rose

Keyword(s):

Formal Logic ◽

Multivalued Logics

Download Full-text

Hypothesis-based semantics of logic programs in multivalued logics

ACM Transactions on Computational Logic ◽

10.1145/1013560.1013565 ◽

2004 ◽

Vol 5 (3) ◽

pp. 508-527 ◽

Cited By ~ 10

Author(s):

Yann Loyer ◽

Nicolas Spyratos ◽

Daniel Stamate

Keyword(s):

Logic Programs ◽

Semantics Of Logic Programs ◽

Multivalued Logics

Download Full-text

One approach to construction of effective algorithms for recognizing completeness in multivalued logics

Mathematical Notes ◽

10.1007/bf01156684 ◽

1986 ◽

Vol 39 (5) ◽

pp. 418-423

Author(s):

N. R. Emel'yanov

Keyword(s):

Multivalued Logics

Download Full-text

Multivariable monotonic optimization over multivalued logics and rectangular design lattices

Discrete Mathematics ◽

10.1016/0012-365x(71)90016-1 ◽

1971 ◽

Vol 1 (3) ◽

pp. 277-294

Author(s):

D.J. Wilde ◽

J.M. Sanchez-Anton

Keyword(s):

Monotonic Optimization ◽

Multivalued Logics

Download Full-text

G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.

Journal of Symbolic Logic ◽

10.2307/2270477 ◽

1966 ◽

Vol 31 (3) ◽

pp. 501-502

Author(s):

Arto Salomaa

Keyword(s):

English Translation ◽

Boolean Functions ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Multivalued Logics

Download Full-text

Multivalued Logics

Encyclopedia of Language & Linguistics ◽

10.1016/b0-08-044854-2/01102-0 ◽

2006 ◽

pp. 387-390

Author(s):

P.A.M. Seuren

Keyword(s):

Multivalued Logics

Download Full-text

Fuzzy refutations for probability and multivalued logics

International Journal of Approximate Reasoning ◽

10.1016/0888-613x(94)90020-5 ◽

1994 ◽

Vol 11 (4) ◽

pp. 257-279 ◽

Cited By ~ 1

Author(s):

Giangiacomo Gerla

Keyword(s):

Multivalued Logics

Download Full-text

On the superstructure of the class of polynomials in multivalued logics

Discrete Mathematics and Applications ◽

10.1515/dma.1996.6.4.405 ◽

1996 ◽

Vol 6 (4) ◽

Cited By ~ 2

Author(s):

G. P. GAVRILOV

Keyword(s):

Multivalued Logics

Download Full-text