Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "semantics;" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 18
Tytuł:
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
Autorzy:
Niki, Satoru
Powiązania:
https://bibliotekanauki.pl/articles/1023170.pdf
Data publikacji:
2020-11-04
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
empirical negation
co-negation
Beth semantics
Kripke semantics
intuitionism
Opis:
We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 3; 231-253
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
Autorzy:
Voutsadakis, George
Powiązania:
https://bibliotekanauki.pl/articles/750034.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Referential Logics
Selfextensional Logics
Referential Semantics
Referential π-institutions
Selfextensional π-institutions
Pseudo- Referential Semantics
Discrete Referential Semantics
Opis:
This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution has a pseudo-referential matrix system semantics. This contrasts with referential matrix system semantics which is only available for self-extensional π-institutions by a previous result of the author obtained as an extension of a classical result of Wójcicki. Finally, it is shown that it is possible to replace an arbitrary pseudoreferential matrix system semantics by a discrete pseudo-referential matrix system semantics.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
Autorzy:
Witczak, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/749992.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness
Opis:
We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 187-205
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards a Logic of Value and Disagreement via Imprecise Measures
Autorzy:
Faroldi, Federico L. G.
Powiązania:
https://bibliotekanauki.pl/articles/1812205.pdf
Data publikacji:
2021-06-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
value
disagreement
truthmaker semantics
hyperintensionality
Opis:
After putting forward a formal account of value disagreement via imprecise measures, I develop a logic of value attribution and of (dis)agreement based on (exact) truthmaker semantics.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 2; 131-149
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Autorzy:
Coniglio, Marcelo Esteban
de Toledo, Guilherme Vicentin
Powiązania:
https://bibliotekanauki.pl/articles/43182485.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
multialgebras
ordered algebras
non-deterministic semantics
Opis:
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras CABAs) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a correspondence induces an equivalence between the opposite category of Set and the category of CABAs. We modify this result by taking multialgebras over a signature Σ, specifically those whose non-deterministic operations cannot return the empty-set, to CABAs with their zero element removed (which we call a bottomless Boolean algebra) equipped with a structure of Σ-algebra compatible with its order (that we call ord-algebras). Conversely, an ord-algebra over Σ is taken to its set of atomic elements equipped with a structure of multialgebra over Σ. This leads to an equivalence between the category of Σ-multialgebras and the category of ord-algebras over Σ. The intuition, here, is that if one wishes to do so, non-determinism may be replaced by a sufficiently rich ordering of the underlying structures.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 4; 517-550
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on Ciuciura’s mbC1
Autorzy:
Omori, Hitoshi
Powiązania:
https://bibliotekanauki.pl/articles/749998.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
paraconsistent logic
non-deterministic semantics contra-classical logic
Opis:
This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 161-171
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some Logics in the Vicinity of Interpretability Logics
Autorzy:
Celani, Sergio A.
Powiązania:
https://bibliotekanauki.pl/articles/43188883.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
interpretability logic
Kripke frames
neighbourhood frames
Veltman semantics
Opis:
In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a modal operator \(\square\) and a binary operator \(\Rightarrow\) such that \(\mathbf{BIL}\subseteq\mathbf{BIL}^{+}\subseteq\mathbf{IL}\). The logic \(\mathbf{BIL}\) is generated by the relational structures \(\left<X,R,N\right>\), called basic frames, where \(\left<X,R\right>\) is a Kripke frame and \(\left<X,N\right>\) is a neighborhood frame. We will prove that the logic \(\mathbf{BIL}^{+}\) is generated by the basic frames where the binary relation \(R\) is definable by the neighborhood relation \(N\) and, therefore, the neighborhood semantics is suitable to study the logic \(\mathbf{BIL}^{+}\) and its extensions. We shall also study some axiomatic extensions of \(\mathsf{\mathbf{BIL}}\) and we will prove that these extensions are sound and complete with respect to a certain classes of basic frames. Finally, we prove that the logic \(\mathbf{BIL}^{+}\) and some of its extensions are complete respect with the class of neighborhood frames.
Źródło:
Bulletin of the Section of Logic; 2024, 53, 2; 173-193
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:
Gheorghiu, Alexander V.
Pym, David J.
Powiązania:
https://bibliotekanauki.pl/articles/43181620.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logic programming
proof-theoretic semantics
bilateralism
negationas-failure
Opis:
Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 2; 239-266
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on the Intuitionistic Logic of False Belief
Autorzy:
Witczak, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/2142756.pdf
Data publikacji:
2021-09-01
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Intuitionistic modal logic
non-normal modal logic
neighborhood semantics
Opis:
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world, but we still believe in it (or we think that it should be accepted). Another interpretations are also possible: e.g. that we do not accept $\varphi$ but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is expressed by an adequate form of modal operator $\mathsf{W}$ which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. Finally, we mention the fact that it is possible to investigate intuitionistic logics of unknown truths.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 1; 57-71
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:
Jarmużek, Tomasz
Malinowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/749968.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods
Opis:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 213-243
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nilpotent Minimum Logic NM and Pretabularity
Autorzy:
Yang, Eunsuk
Powiązania:
https://bibliotekanauki.pl/articles/750006.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
pretabularity
nilpotent minimum logic
algebraic semantics
fuzzy logic
finite model property
Opis:
This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp and the another known extended system NM-. Next, we show that NMnfp and NM½ are pretabular, whereas NM is not. We also discuss their algebraic completeness.  
Źródło:
Bulletin of the Section of Logic; 2020, 49, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:
Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Powiązania:
https://bibliotekanauki.pl/articles/43181839.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics
Opis:
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 3; 275-299
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
What Is the Sense in Logic and Philosophy of Language
Autorzy:
Wybraniec-Skardowska, Urszula
Powiązania:
https://bibliotekanauki.pl/articles/749864.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
categorisation
denotation
logic and philosophy of language
categorial language
syntactic and semantic senses
intensional semantics
meaning
extensional semantics
syntactic and semantic compatibility
algebraic models
truth
structural compatibility
compositionality
language communication
Opis:
In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Autorzy:
Robles, Gemma
López, Sandra M.
Blanco, José M.
Recio, Marcos M.
Paradela, Jesús R.
Powiązania:
https://bibliotekanauki.pl/articles/749920.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics
Opis:
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Universality of Logic
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/749938.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
universality
logica docents
logica utens
first-order logic
consequence operation
model
syntax
semantics
expressive power
Opis:
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic is presented as associated with the last understanding of universality. The author concludes that two senses of universality should be sharply discriminated and defends the first-order thesis.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies