Filters
On Partiality and Tichý's Transparent Intensional Logic
The paper focuses on treating of partiality within Tichý's logical system. Tichý's logic is two valued and type-theoretic. Tichý's simple theory of types (and the deduction system designed for it) accepts ...
AA - Filosofie a náboženství
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
I utilize a convenient higher-order modal predicate logic, a partial type theory, to provide an apt and satisfactory treatment of existential import of categorical and modal categorical statements. The approach accommodates...
Philosophy, History and Philosophy of science and technology
- 2017 •
- O
Rok uplatnění
O - Ostatní výsledky
Completeness in partial type theory
logic framed within partial type theory. The framework is a modification of Tichý’s extension of Church’s simple type theory, equipped with his innovative natural deduction system in sequent style. The system deal...
Philosophy, History and Philosophy of science and technology
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Fuzzy Relational Modalities Admitting Truth-Valueless Propositions
present a faithful syntactic translation of the resulting fuzzy partial modal logic to first-order fuzzy partial logic. to handle propositions that can be truth-valueless. We identify several important types
Pure mathematics
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Partiality and Tichý's logic
Presentation of the ways how partiality is treated within simple and them ramified version of Pavel Tichý's logical theory. Comparison of the results with other works on the topics in last two decades. Introducing the autor's own co...
AA - Filosofie a náboženství
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
Fuzzy Type Theory, Descriptions, and Partial Functions
This paper studies the possibility to deal with partial functions in fuzzy type theory. Among various ways how to represent them we chose introduction of a special value ``undefined'' laying outside the corresponding domain. In FTT,...
BA - Obecná matematika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Existential Import, Partiality, and Squares of Opposition
The talk embraces partial propositions and partial predicates into a type-theoretic system which is used for analysis of modern as well as its extended modal square of opposition. Existential import is defined and the desid...
Philosophy, History and Philosophy of science and technology
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
First steps towards harnessing partial functions in fuzzy type theory
In this paper we present how the theory of partial functions can be developed in the fuzzy type theory and show how the theory elaborated by Lapierre and Lepage can be included in it. Namely, the latter is developed as a special the...
Pure mathematics
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Two Cases of Deduction with Non-referring Descriptions
an alternative to their approach since instead of free logic and sequent calculus, it’s framed in partial type theory with natural deduction in sequent style. Using......
Philosophy, History and Philosophy of science and technology
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Intermediate quantifiers in partial fuzzy type theory
In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in the standard fuzzy <...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 133 872