Filters
Is transparent intensional logic a non-classical logic?
TIL is classical in obeying principles of realism but it can be considered to be non-classical in transcending some principles of classical logic taught by textbooks of classical logic: e.g. it is...
AA - Filosofie a náboženství
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
NCMPL 2011. Non-Classical Modal and Predicate Logics
The conference took place in Guangzhou, December 5-9, 2011. The conference aimed to bring together experts from different areas of non-classical model and predicate logic....
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
NCMPL 2011 Abstracts
talks presented at the conference Non-Classical Modal and Predicate Logics which-classical logics have emerged, with applications in many disciplines like Computer-classical logics have been intr...
BA - Obecná matematika
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
Prague Seminar on Substructural Logics
Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by c...
IN - Informatika
- 2014 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Connections Among Some Non-Classical Logics - interní materiály
Connection Among Some Non-Classical Logics...
AA - Filosofie a náboženství
- 2001 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Non-Classical Mathematics. Workshop at UNILOG 2013
on grounds other than those provided by classical logic. The original intuitionist-classical logical frameworks. The bunch of such theories can be called non-classical that is, or can in principle be, for...
BA - Obecná matematika
- 2013 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
logics, by direct proofs and by describing their models as classical 2-sorted models.This paper is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-ord...
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”
as deviant) now seems almost quaint. To be ‘non-classical’ in modal logic today means taking a much larger step beyond the narrow confines of two-valued classical logicSOURCE: Logic Journal of the IGPL. R...
Pure mathematics
- 2019 •
- O
Rok uplatnění
O - Ostatní výsledky
Vít Punčochář. Paradoxes of Classical Logic [Review]
Review of Vít Punčochář’s book Paradoxy klasické logiky (in English: Paradoxes of Classical Logic) published by Filosofia Publishing House in 2019....
Philosophy, History and Philosophy of science and technology
- 2020 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Relevant Reasoners in a Classical World
We develop a framework for epistemic logic that combines relevant modal logic with classical propositional logic. In our framework the agent is modeled as reasoning in accordance with a relevant modal logic
Pure mathematics
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 26 134