Log in

Relevant bibliographies by topics / Intuicionistická logika

Contents

Dissertations / Theses

Academic literature on the topic 'Intuicionistická logika'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Intuicionistická logika.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Intuicionistická logika"

1

Vachková, Eva. "Intuicionistická logika jako užitečný nástroj." Master's thesis, 2010. http://www.nusl.cz/ntk/nusl-298789.

Full text

Abstract:

This work deals with intuitionistic logic and completness of Gentzen calculus with respect to its semantics. The completness proof uses saturated sequents. The language considered is at most countable. Furthermore, our work investigates one of the generalizations of intuitionistic logic, namely intuitionistic logic with constant domain, or Grzegorczyk's logic. We deal with Markov's principle and use it to prove that Gentzen calculus adapted to this logic is not cut-free complete with respect to Grzegorczyk's logic. Part of the work deals with Heyting algebras-one of the possible semantics of i

APA, Harvard, Vancouver, ISO, and other styles

2

Truhlář, Pavel. "Fragmenty intuicionistické logiky, intermediárích logik a substrukturálních logik (vybrané otázky)." Master's thesis, 2018. http://www.nusl.cz/ntk/nusl-373775.

Full text

Abstract:

The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural Logics" have the same positive fragment with and without the weak excluded middle axiom. The main result of this diploma thesis is that some substructural logics have this property. We repeat the basic notions as described in the Restall's book, especially the consecution, natural deduction, frame semantics, Hilbert system. We will use the soundness and completeness theo

APA, Harvard, Vancouver, ISO, and other styles

3

Punčochář, Vít. "Hypotetické soudy, pravdivost a tvrditelnost." Doctoral thesis, 2016. http://www.nusl.cz/ntk/nusl-348933.

Full text

Abstract:

Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topic of this thesis is the logic of indicative conditionals, i.e. sentences of the form If A then B. In classical logic, these sentences are analysed with the help of the so- called material implication. However, the analysis is problematic in many respects. Some chapters of the thesis are devoted to the explanation of the problems, which one necessarily faces when analysing conditionals with the apparatus of standard classical logic. The stress is laid upon the fact that here we are led to a parad

APA, Harvard, Vancouver, ISO, and other styles

4

Brablec, Vladimír. "Intuicionistické logika a axiomatické teorie." Master's thesis, 2010. http://www.nusl.cz/ntk/nusl-298784.

Full text

Abstract:

This thesis explores some properties of elementary intuitionistic theories. We focus on the following theories: the theory of equality, linear order, dense linear order, the theory of a successor function, Robinson arithmetic and the theory of rational numbers with addition; moreover, we usually deal with two dierent formulations of the theories. As for the properties, our main interest is in the following four: coincidence with the classical version of a theory, saturation, De Jongh's theorem and decidability. The thesis draws especially from the results of C. Smorynski and D. de Jongh and tr

APA, Harvard, Vancouver, ISO, and other styles

5

Přenosil, Adam. "Čtyřhodnotová sémantika klasické a intuicionistické logiky." Master's thesis, 2013. http://www.nusl.cz/ntk/nusl-324441.

Full text

Abstract:

The thesis introduces a logic which combines intuitionistic implication with de Morgan negation in a way which conservatively extends both classical and intuitionistic logic. This logic is the intuitionistic counterpart of the four-valued Belnap-Dunn logic. In relation to this logic, we study de Morgan algebras and their expansions, in particular their expansion with a constant representing inconsistency. We prove a duality for such algebras extending the Priestley duality. We also introduce a weak notion of modal algebra and prove a duality for such algebras. We then define analytic sequent c

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!