Results 101 to 110 of about 1,465 (138)

Automated deduction in nonclassical logics

Science of Computer Programming, 1991
openaire   +1 more source

Magneto-Plasmonics and Resonant Interaction of Light with Dynamic Magnetisation in Metallic and All-Magneto-Dielectric Nanostructures.

Nanomaterials (Basel), 2015
Maksymov IS.
europepmc   +1 more source

Proof Theoretical Studies of Classical/Nonclassical Logics

Proof Theoretical Studies of Classical/Nonclassical Logics
identifier:oai:t2r2.star.titech.ac.jp ...
openaire  

Causality, Modality and Explanation [PDF]

, 2013
White, Graham
core  

Verification of the logical sequence in nonclassical multivalued logic

Izvestiya Instituta Matematiki i Informatiki. Udmurt. Gos. Univ., 2017
openaire   +2 more sources

Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification [PDF]

The Bulletin of Symbolic Logic, 2019
openaire   +1 more source

Approximate reasoning, logics for self-reference, and the use of nonclassical logics in systems modeling

, 2000
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Methods for Automated Theorem Proving in Nonclassical Logics

IEEE Transactions on Computers, 1976
In this paper we outline two basic methods for automated theorem proving in nonclassical logics, including modal, many-valued, relevance, and intuitionistic logics. We discuss advantages and disadvantages of each method and give several illustrative examples.
openaire   +4 more sources

Nonclassical Logics and Information Processing

1992
openaire   +3 more sources