Studia Logica: An International Journal for Symbolic Logic, Vol. 105, No. 6, 40 Years of FDE (December 2017), pp. 1087-1122 (36 pages) Paradefinite ('beyond the definite') logics are logics that can ...
A family of propositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following. Theorem ...
Description logics constitute a family of formal knowledge representation languages that underpin a wide range of modern semantic systems, including the Semantic Web. They provide a well-founded ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback