Results 281 to 290 of about 339,779 (297)

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

, 1995
U. Höhle, E. Klement
semanticscholar   +1 more source

Normal Natural Deduction Proofs (in Non-classical Logics)

Mechanizing Mathematical Reasoning, 2005
W. Sieg, S. Cittadini
semanticscholar   +1 more source

A Uniform Proof Procedure for Classical and Non-Classical Logics

Deutsche Jahrestagung für Künstliche Intelligenz, 1996
J. Otten, C. Kreitz
semanticscholar   +1 more source

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II

Studia Logica: An International Journal for Symbolic Logic, 2000
Viorica Sofronie-Stokkermans
semanticscholar   +1 more source

Non-Classical Logics, Model Theory and Computability

, 1980
A. Arruda, R. Chuaqui, N. Costa
semanticscholar   +1 more source

Automated theorem proving by resolution in non-classical logics

Annals of Mathematics and Artificial Intelligence, 2007
Viorica Sofronie-Stokkermans
semanticscholar   +1 more source

A Framework for Non-Classical Logics

1997
The subject of this work is the development and investigation of a \emph{framework} for the modular and uniform representation and implementation of \emph{non-classical logics}, in particular modal and relevance logics. Logics are presented as labelled natural deduction (or sequent) systems, which are proved to be sound and complete with respect to the
openaire   +1 more source

Part I Non Classical Logics

1977
openaire   +1 more source

Provability Games for Non-classical Logics

2021
openaire   +1 more source

Algebraization of Non-Classical Logics

2002
openaire   +1 more source