Temat: logic. - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:: Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Tematy:: discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43183714.pdf Link otwiera się w nowym oknie
Opis:: Jaśkowski's discussive (discursive) logic \( \mathbf{D_2} \) is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic \( \mathbf{ S5 } \) via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic \( \mathbf{ D_2^p } \).
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Siła i słabość logik modalnych
The Strengths and Weaknesses of Modal Logics
Autorzy:: Czakon, Marcin
Tematy:: modal logic
temporal logic
epistemic logic; Pokaż więcej
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Powiązania:: https://bibliotekanauki.pl/articles/909495.pdf Link otwiera się w nowym oknie
Opis:: This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, epistemic logic, and temporal logic. The book comprises four chapter, each of which deals with selected formal-logical and philosophical problems associated with modal logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Polyadic algebras over nonclassical logics
Autorzy:: Pigozzi, Don
Salibra, Antonino
Tematy:: lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Powiązania:: https://bibliotekanauki.pl/articles/1361079.pdf Link otwiera się w nowym oknie
Opis:: The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Kryteria „logiczności” logiki w ujęciu Susan Haack
The Criterion of the 'Logicality' of Logic According to Susan Haack
Autorzy:: Czernecka-Rej, Bożena
Tematy:: philosophy of logic
formalism
logic
classical logic
Susan Haack; Pokaż więcej
Wydawca:: Copernicus Center Press
Powiązania:: https://bibliotekanauki.pl/articles/691284.pdf Link otwiera się w nowym oknie
Opis:: In the philosophy of logic the following questions are discussed: What is logic? Which formal systems are systems of logic? What does make them systems of logic? The paper presents and analyses the answers to these questions given by Susan Haack. She adopted the strategy, called the “hospitable policy”, giving the criterion in which formalism is a logical one. In the article I discuss whether the validity of her solutions is correct.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Category theoryand some of its logical aspects
Teoria kategorii i niektóre jej logiczne aspekty
Autorzy:: Stopa, Mariusz
Opis:: This article is intended for philosophers as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Stopa, Mariusz
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Wydawca:: Copernicus Center Press
Powiązania:: https://bibliotekanauki.pl/articles/690940.pdf Link otwiera się w nowym oknie
Opis:: This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Monadic Fragments of Intuitionistic Control Logic
Autorzy:: Glenszczyk, Anna
Tematy:: Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749902.pdf Link otwiera się w nowym oknie
Opis:: We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: High-Performance Ternary (4:2) Compressor Based on Capacitive Threshold Logic
Autorzy:: Mirzaee, R. F.
Reza, A.
Tematy:: 4:2 compressor
ternary logic
multiple-valued logic
CNFET
threshold logic; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/225977.pdf Link otwiera się w nowym oknie
Opis:: This paper presents a ternary (4:2) compressor, which is an important component in multiplication. However, the structure differs from the binary counterpart since the ternary model does not require carry signals. The method of capacitive threshold logic (CTL) is used to achieve the output signals directly. Unlike the previously presented similar structure, the entire capacitor network is divided into two parts. This segregation results in higher reliability and robustness against unwanted process, voltage, and temperature (PVT) variations. Simulations are performed by HSPICE and 32nm CNFET technology. Simulation results demonstrate about 94% higher performance in terms of power-delay product (PDP) for the new design over the previous one.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Abstract logical structuralism
Autorzy:: Marquis, Jean-Pierre
Tematy:: philosophy
logic
structuralism
categorical logic; Pokaż więcej
Wydawca:: Copernicus Center Press
Powiązania:: https://bibliotekanauki.pl/articles/1047597.pdf Link otwiera się w nowym oknie
Opis:: Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only
Autorzy:: Baranov, S.
Karatkevich, A.
Tematy:: logic synthesis
logic devices
VLSI
minimization; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/963932.pdf Link otwiera się w nowym oknie
Opis:: In the paper we consider fast transformation of a multilevel and multioutput circuit with AND, OR and NOT gates into a functionally equivalent circuit with NAND and NOR gates. The task can be solved by replacing AND and OR gates by NAND or NOR gates, which requires in some cases introducing the additional inverters or splitting the gates. In the paper the quick approximation algorithms of the circuit transformation are proposed, minimizing number of the inverters. The presented algorithms allow transformation of any multilevel circuit into a circuit being a combination of NOR gates, NAND gates or both types of universal gates.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "logic." wg kryterium: Temat