Skocz do pozycji: 1.

Tytuł:

On Paracomplete Versions of Jaśkowskis Discussive Logic

Autorzy:

Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily

Powiązania:

https://bibliotekanauki.pl/articles/43183714.pdf

Data publikacji:

2024

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic

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 } \).

Źródło:

Bulletin of the Section of Logic; 2024, 53, 1; 29-61
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• 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

Powiązania:

https://bibliotekanauki.pl/articles/909495.pdf

Data publikacji:

2020-03-31

Wydawca:

Uniwersytet Warszawski. Wydział Filozofii

Tematy:

modal logic
temporal logic
epistemic logic

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.

Źródło:

Filozofia Nauki; 2020, 28, 1; 125-132
1230-6894
2657-5868

Pojawia się w:

Filozofia Nauki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 3.

Tytuł:

Polyadic algebras over nonclassical logics

Autorzy:

Pigozzi, Don
Salibra, Antonino

Powiązania:

https://bibliotekanauki.pl/articles/1361079.pdf

Data publikacji:

1993

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic

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.

Źródło:

Banach Center Publications; 1993, 28, 1; 51-66
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 4.

Tytuł:

Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects

Autorzy:

Stopa, Mariusz

Powiązania:

https://bibliotekanauki.pl/articles/690940.pdf

Data publikacji:

2018

Wydawca:

Copernicus Center Press

Tematy:

category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic

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.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2018, 64; 7-58
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 5.

Tytuł:

Monadic Fragments of Intuitionistic Control Logic

Autorzy:

Glenszczyk, Anna

Powiązania:

https://bibliotekanauki.pl/articles/749902.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators

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.

Źródło:

Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 6.

Tytuł:

Abstract logical structuralism

Autorzy:

Marquis, Jean-Pierre

Powiązania:

https://bibliotekanauki.pl/articles/1047597.pdf

Data publikacji:

2020-12-29

Wydawca:

Copernicus Center Press

Tematy:

philosophy
logic
structuralism
categorical logic

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.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2020, 69; 67-110
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 7.

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

Powiązania:

https://bibliotekanauki.pl/articles/691284.pdf

Data publikacji:

2012

Wydawca:

Copernicus Center Press

Tematy:

philosophy of logic
formalism
logic
classical logic
Susan Haack

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.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2012, 50; 140-151
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 8.

Tytuł:

Useful Four-Valued Extension of the Temporal Logic KtT4

Autorzy:

Degauquier, Vincent

Powiązania:

https://bibliotekanauki.pl/articles/749896.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

temporal logic
many-valued logic
bi-intuitionistic logic
paraconsistent logic
sequent calculus
duality
cut-redundancy

Opis:

The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

Źródło:

Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 9.

Tytuł:

On the Leibniz congruences

Autorzy:

Font, Josep

Powiązania:

https://bibliotekanauki.pl/articles/1361077.pdf

Data publikacji:

1993

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic

Opis:

The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.

Źródło:

Banach Center Publications; 1993, 28, 1; 17-36
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 10.

Tytuł:

On Undecidability of Non-monotonic Logic

Autorzy:

Suchenek, M. A.

Powiązania:

https://bibliotekanauki.pl/articles/92958.pdf

Data publikacji:

2006

Wydawca:

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach

Tematy:

default logic
autoepistemic logic
asymptotic decidability

Opis:

The degree of undecidability of nonmonotonic logic is investigated. A proof is provided that arithmetical but not recursively enumerable sets of sentences definable by nonmonotonic default logic are elements of ∆_n+1 but not Σ _n nor Π _n for some n ≥1 in Kleene- Mostowski hierarchy of arithmetical sets.

Źródło:

Studia Informatica : systems and information technology; 2006, 1(7); 127-132
1731-2264

Pojawia się w:

Studia Informatica : systems and information technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 11.

Tytuł:

Linear Abelian Modal Logic

Autorzy:

Mohammadi, Hamzeh

Powiązania:

https://bibliotekanauki.pl/articles/43184005.pdf

Data publikacji:

2024

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination

Opis:

A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.

Źródło:

Bulletin of the Section of Logic; 2024, 53, 1; 1-28
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 12.

Tytuł:

On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only

Autorzy:

Baranov, S.
Karatkevich, A.

Powiązania:

https://bibliotekanauki.pl/articles/963932.pdf

Data publikacji:

2018

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

logic synthesis
logic devices
VLSI
minimization

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.

Źródło:

International Journal of Electronics and Telecommunications; 2018, 64, 3; 373-378
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 13.

Tytuł:

High-Performance Ternary (4:2) Compressor Based on Capacitive Threshold Logic

Autorzy:

Mirzaee, R. F.
Reza, A.

Powiązania:

https://bibliotekanauki.pl/articles/225977.pdf

Data publikacji:

2017

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

4:2 compressor
ternary logic
multiple-valued logic
CNFET
threshold logic

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.

Źródło:

International Journal of Electronics and Telecommunications; 2017, 63, 4; 355-361
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 14.

Tytuł:

Equality Logic

Autorzy:

Ghorbani, Shokoofeh

Powiązania:

https://bibliotekanauki.pl/articles/1023179.pdf

Data publikacji:

2020-11-04

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

many-valued logic
equality logic
completness
prelinear equality∆-algebra
prelinear equality∆ logic

Opis:

In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.

Źródło:

Bulletin of the Section of Logic; 2020, 49, 3; 291-324
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 15.

Tytuł:

From Intuitionism to Brouwers Modal Logic

Autorzy:

Kostrzycka, Zofia

Powiązania:

https://bibliotekanauki.pl/articles/1023286.pdf

Data publikacji:

2020-12-30

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

intuitionistic logic
Kripke frames
Brouwer's modal logic

Opis:

We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.

Źródło:

Bulletin of the Section of Logic; 2020, 49, 4; 343-358
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 16.

Tytuł:

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Autorzy:

Cornejo, Juan Manuel
Sankappanavar, Hanamantagouda P.

Powiązania:

https://bibliotekanauki.pl/articles/43189647.pdf

Data publikacji:

2022

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

semi-intuitionistic logic
dually hemimorphic semi-Heyting logic
dually quasi-De Morgan semi-Heyting logic
De Morgan semi-Heyting logic
dually pseudocomplemented semi-Heyting logic
regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1
implicative logic
equivalent algebraic semantics
algebraizable logic
De Morgan Gödel logic
dually pseudocomplemented Gödel logic
Moisil's logic
3-valued Łukasiewicz logic

Opis:

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras.

Źródło:

Bulletin of the Section of Logic; 2022, 51, 4; 555-645
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 17.

Tytuł:

Język jako system znaków

Autorzy:

Wawrzonkiewicz-Słomska, Anna

Powiązania:

https://bibliotekanauki.pl/articles/2158560.pdf

Data publikacji:

2011

Wydawca:

Instytut Studiów Międzynarodowych i Edukacji Humanum

Tematy:

philosophy
logic
language
history of logic
sign

Opis:

We have to deal with numerous signs in everyday life, given us both by the nature – as, for example, clouds being a sign of upcoming rain, and also traditional, conventional signs and created by ourselves for better communication. A sign is a perceptible arrangement of things or a phenomenon caused by someone else for the reason that some set expression or formed customary rules govern combining a definite type of thoughts with this arrangement of things or the phenomenon.

Źródło:

Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 1(1); 37-45
1730-0266

Pojawia się w:

Prosopon. Europejskie Studia Społeczno-Humanistyczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 18.

Tytuł:

Experimental Comparison of Synthesis Tools Altera Quartus II and Synthagate

Autorzy:

Węgrzyn, M.
Karatkevich, A.

Powiązania:

https://bibliotekanauki.pl/articles/226665.pdf

Data publikacji:

2013

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

logic design
state machines
logic devices
FPGA
VHDL

Opis:

The paper presents comparison between efficiency of an industrial FPGA design software tool Altera Quartus II and similar design software tool Synthagate by Syntezza company of an academic origin. The experiments were performed using a series of examples describing the Mealy finite state machines; onehot state encoding was used in all cases. Area (number of used logical blocks) was the main parameter used for the comparison. Influence of the way of FSM description (in VHDL language) on the quality of synthesis was studied. The obtained results show that Synthagate in almost all cases performs synthesis more efficiently and essentially quicker than Altera Quartus. Section I presents motivation of the research. Section II reminds the notion of FSM. Section III describes problems which had to be solved to provide correctness of experimental comparison. Section IV presents some details about state encoding way used in the experiments. In Section V, the experimental results are presented. Section VI describes the problems related to the comparison which still have to be solved. Section VII presents the conclusions from the experiments. Section VIII suggests possible reasons of the detected situation.

Źródło:

International Journal of Electronics and Telecommunications; 2013, 59, 4; 357-362
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 19.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 20.

Tytuł:

Synteza układów kombinacyjnych na jednym uniwersalnym układzie PAL z wykorzystaniem montażowego łączenia wyjść
Synthesis of combinatorial logic on single PAL device using wired-or method of PAL outputs joining

Autorzy:

Solov'ev, V.
Klimowicz, A.

Powiązania:

https://bibliotekanauki.pl/articles/341115.pdf

Data publikacji:

2002

Wydawca:

Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej

Tematy:

synteza logiczna
układy kombinacyjne
logic synthesis
combinatorial logic

Opis:

W artykule został opisany algorytm syntezy układów kombinacyjnych z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.
This article contains a description of an algorithm of synthesis of combinatorial logic schemes, which uses wired-OR method of joining outputs, limited to use only one universal PAL device and some modifications, which allow to use this algorithm to synthesis on single "classic" PAL device and one functional block of complex programmable device. This algorithm uses features of modern universal PAL devices, such as different number of terms connected to single macrocell and possibility of selection of output signal polarity. Conditions allowing to realize boolean function system using this algorithm are described. Work results are compared

Źródło:

Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 219-233
1644-0331

Pojawia się w:

Zeszyty Naukowe Politechniki Białostockiej. Informatyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 21.

Tytuł:

Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych

Autorzy:

Bażyk, Albert Przemysław

Powiązania:

https://bibliotekanauki.pl/articles/429119.pdf

Data publikacji:

2012

Wydawca:

Uniwersytet Papieski Jana Pawła II w Krakowie

Tematy:

two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic

Opis:

An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.

Źródło:

Semina Scientiarum; 2012, 11
1644-3365

Pojawia się w:

Semina Scientiarum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 22.

Tytuł:

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

Autorzy:

Gao, Feng
Tourlakis, George

Powiązania:

https://bibliotekanauki.pl/articles/749884.pdf

Data publikacji:

2015

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic

Opis:

A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules.

Źródło:

Bulletin of the Section of Logic; 2015, 44, 3-4
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 23.

Tytuł:

Logic and its Pragmatic Aspects

Autorzy:

Marsonet, Michele

Powiązania:

https://bibliotekanauki.pl/articles/1037570.pdf

Data publikacji:

2018

Wydawca:

Academicus. International Scientific Journal publishing house

Tematy:

logic
formal logic
logical pluralism
pragmatism
analytic philosophy
praxis

Opis:

A pragmatist conception of logic rejects any kind of logical constructionism, based on the appeal to privileged ontological and epistemological items and to a perfect language supposedly provided by mathematical logic. Even in logic, “pluralism” must be the key-word if one does not want to be locked in the cage of conceptions that become rapidly outdated. Dealing with the dichotomy Absolutism/Relativism in logic, it may be observed that the enterprise of logic can be considered in several - and substantially different - perspectives, among which we find (1) the psychologistic, (2) the Platonistic, and (3) the instrumentalistic viewpoints. According to (1) logic is viewed as fundamentally descriptive, and its task is taken to be that of outlining a “theory of reasoning,” i.e. a systematic account of how we humans proceed when reasoning successufully. According to (3), instead, logic’s task is that of constructing rigorous systems codifying not only actual, but also possible instrumentalities for conducting valid inferences, and these would be available (should someone want to avail himself to them) for adoption as an organon of reasoning, but no empirical claims are made that anyone has (or will) avail himself of this opportunity. The logician devises a tool or instrument for correct reasoning, but does not concern himself about the uses of this instrument. Philosophy and logic cannot be linked so closely, and today the idea that the analytic style of philosophizing is just one style among many others, and not the only possible one, is gaining increasing acceptance.

Źródło:

Academicus International Scientific Journal; 2018, 17; 46-53
2079-3715
2309-1088

Pojawia się w:

Academicus International Scientific Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 24.

Tytuł:

Co to jest prawda?

Autorzy:

Wawrzonkiewicz–Słomska, Anna

Powiązania:

https://bibliotekanauki.pl/articles/2158605.pdf

Data publikacji:

2011

Wydawca:

Instytut Studiów Międzynarodowych i Edukacji Humanum

Tematy:

philosophy
logic
history of philosophy
history of logic
truth

Opis:

This question has entered to history of the European culture not only in the version of Socrates, Plato and Aristotle, but also as Pilate’s question. However, is this question every time about the same? Or is its intellectual version, which we deal with in philosophy, equivalent with the religious formula? Ancient philosophers, such as Descartes or Aristotle have already studied the question of truth. Truth is not an issue completely clear for man. Despite so many clear definitions, it does not give us full form of the notion of truth. All these centuries various inquires did not give us any answers. Every of definitions of truth shows us how to act, and according to which rules. We can agree on the classic definition of truth or reject it.

Źródło:

Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 2(2); 29-37
1730-0266

Pojawia się w:

Prosopon. Europejskie Studia Społeczno-Humanistyczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 25.

Tytuł:

W trosce o kulturę logiczną w badaniach filozoficznych i teologicznych
For the sake of logical culture in philosophical and theological research

Autorzy:

Śleziński, Krzysztof

Powiązania:

https://bibliotekanauki.pl/articles/690856.pdf

Data publikacji:

2019

Wydawca:

Copernicus Center Press

Tematy:

christian philosophy
logic

Opis:

Book review: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza [Polish Christian Philosophy: Stanisław Kamiński and Kazimierz Marek Wolsza] (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.
Recenzja monografii wieloautorskiej: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2019, 66; 326-330
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 26.

Tytuł:

Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic

Autorzy:

Tkaczyk, Marcin

Powiązania:

https://bibliotekanauki.pl/articles/2013148.pdf

Data publikacji:

2008

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics

Opis:

Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.

Źródło:

Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 27.

Tytuł:

Optimization problems in the synthesis of multiple-valued logic networks

Autorzy:

Deniziak, S.
Wiśniewski, M.
Kurczyna, K.

Powiązania:

https://bibliotekanauki.pl/articles/114046.pdf

Data publikacji:

2016

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

multiple-valued logic network
symbolic decomposition
FPGA
logic synthesis

Opis:

The paper discusses some aspects of FPGA-oriented synthesis of multiple-valued logic (MVL) network, i.e. a network of modules connected by multiple-valued signals. MVL networks are built during high-level synthesis, as a source specification of logical systems or during re-synthesis of gate-level circuits. FPGA-oriented synthesis of MVL is based on decomposing modules into smaller ones, each fitting in one logic cell. In this paper, we show that the order, according to which the modules are decomposed, has a great influence on the efficiency of the synthesis. This paper presents the case study which demonstrates the above problem as well as some experimental results and conclusions.

Źródło:

Measurement Automation Monitoring; 2016, 62, 5; 166-168
2450-2855

Pojawia się w:

Measurement Automation Monitoring

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 28.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 29.

Tytuł:

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

Autorzy:

Ciuciura, Janusz

Powiązania:

https://bibliotekanauki.pl/articles/750004.pdf

Data publikacji:

2017

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

deontic logic
K1
Kalinowski’s logic
paradoxes
tableaux

Opis:

In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.

Źródło:

Bulletin of the Section of Logic; 2017, 46, 3/4
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 30.

Tytuł:

Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic

Autorzy:

Czernecka-Rej, Bożena

Powiązania:

https://bibliotekanauki.pl/articles/2013362.pdf

Data publikacji:

2007

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic

Opis:

The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.

Źródło:

Roczniki Filozoficzne; 2007, 55, 1; 23-46
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 31.

Tytuł:

MIĘDZY ONTOLOGIĄ A LOGIKĄ. ROLA LOGIKI W PROCESIE POZNANIA PRAWDY
BETWEEN ONTOLOGY AND LOGIC. THE ROLE OF LOGIC IN THE PROCESS OF KNOWING THE TRUTH

Autorzy:

Wojtyła, Wojciech

Powiązania:

https://bibliotekanauki.pl/articles/512488.pdf

Data publikacji:

2017

Wydawca:

Wydawnictwo Diecezjalne Adalbertinum

Tematy:

logic
ontology
truth

Opis:

The purpose of the article was to try to answer the question, what truth and logic is discovered? The answer came by comparing the claims made by Des-cartes and the main representatives of the Lviv-Warsaw School. The author of the article contrasting the views of the French thinker with the views of Polish logicians, with Kazimierz Ajdukiewicz at the head, turns to the proposal of the latter. According to Ajdukiewicz, discovered by law logic, as well as the laws discovered by representatives of empirical sciences, there are some objective relations that take place on the side of reality. Knowing these important and universal properties and laws, man increas-ingly and better understands the world. The conclusion of the article is the the-sis that there is close correspondence between ontology and logic, as expressed by the first principles of the law of being, which are also the first principles of the laws of thought. Responding to the question of the role of logic in the pro-cess of learning the truth, the author confesses to those authors who argue that logic is a science that works on the material provided by the ontology, looking for relationships between objects of the real world.

Źródło:

Studia Ełckie; 2017, 19, 3; 283 - 294
1896-6896
2353-1274

Pojawia się w:

Studia Ełckie

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 32.

Tytuł:

O logice uprawdziwiaczy
About Logic of Truthmakers

Autorzy:

Paśniczek, Jacek

Powiązania:

https://bibliotekanauki.pl/articles/909875.pdf

Data publikacji:

2005-06-01

Wydawca:

Uniwersytet Warszawski. Wydział Filozofii

Tematy:

truthmakers
truthmakers' logic

Opis:

The paper discusses main issues concerning truthmakers: (1) what is the ontological status of truthmakers (are they ordinary objects, situations, tropes etc?), (2) what are deduvtive properties of truthmakers. A simple logic of truthmakers is developed. The logic consists of an axiomatic system and a possible world semantics.

Źródło:

Filozofia Nauki; 2005, 13, 2; 103-111
1230-6894
2657-5868

Pojawia się w:

Filozofia Nauki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 33.

Tytuł:

O logice predykatów. Analiza logiczno-filozoficzna
On predicate logic. Logical-philosophical analysis

Autorzy:

Gut, Arkadiusz

Powiązania:

https://bibliotekanauki.pl/articles/2015981.pdf

Data publikacji:

2002

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika
sylogistyka
sąd
logika predykatów
logic
syllogistic
proposition
predicate logic

Opis:

This paper presents the central part of the contemporary logic: the predicate logic. By determining the types of primitive elements that make up the parts of the judgement the author tries to describe the structure (logical form) of atomic judgement that we meet in predicate logic. The main task is to find out the logical and philosophical fundaments of the asymmetry of the subject and predicate in the logic of quantification. This main aim was motivated by the assumption that if the current logic (predicate logic) has the significance, which we are inclined to attach to it, then it must reflect fundamental features of our thought about the world. Therefore the author of the paper analyses the logical and philosophical reasons that can be put forward for preferring the modern predicate logic to the traditional theory of general inferences which occur in syllogistic. To show the difference between the logical form of the basic proposition established in traditional logic and the logical form of atomic proposition in post-fregean logic some specific points were taken into consideration: the problem of reference; negation; existential import and others. At the end it was explicated that the crucial move – which was revealed in predicate logic – lay in extending the idea of function−argument analysis from mathematics to logic.

Źródło:

Roczniki Filozoficzne; 2002, 50, 1; 121-163
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 34.

Tytuł:

Prawda i fałsz wypowiedzi literackiej
Truth and Falsity of Literary Statements

Autorzy:

Magryś, Roman

Powiązania:

https://bibliotekanauki.pl/articles/1206730.pdf

Data publikacji:

2020

Wydawca:

Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego

Tematy:

formal logic
fiction
truth
intention
falsehood
literature
intensional logic
phenomenology

Opis:

The article Truth and Falsity of Literary Statements investigates the issue of logical values, and consequently communication related status of sentences in indicative mood occurring in works of literature. The problem is discussed with reference to theoretical assumptions of classical logic, intuitionistic logic, and other possible intensional logics as well as phenomenological concepts proposed by Roman Ingarden. In this context it is suggested that intensional systems, mainly intuitionistic logic be adequately applied to identify logical value of literary sentences. As a result, it is assumed that the logical value of literary sentences depends on the specific logical system selected; according to the standards of intuitionistic logic, literary statements are true, likely or false. In this context it seems necessary to revise Roman Ingarden’s phenomenological assumption that sentences in indicative mood in a work of fiction do not have objective point of reference. It is suggested that such sentences be recognised as false, and therefore indicative of the group of their intentional meanings as a specific model of reality which can be deemed true or false.

Źródło:

Dydaktyka Polonistyczna; 2020, 6 (15); 72-91
2451-0939

Pojawia się w:

Dydaktyka Polonistyczna

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 35.

Tytuł:

Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena

Autorzy:

Parol, Aleksander
Pietrowicz, Krzysztof
Szalacha-Jarmużek, Joanna

Powiązania:

https://bibliotekanauki.pl/articles/1812204.pdf

Data publikacji:

2021-06-30

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

logic for social sciences
positional logic
realisation operator
social phenomena

Opis:

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.

Źródło:

Bulletin of the Section of Logic; 2021, 50, 2; 205-227
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 36.

Tytuł:

Synteza odwracalnych układów logicznych oparta na sieciach Closa
Clos switching network based reversible circuit synthesis

Autorzy:

Szyprowski, M.

Powiązania:

https://bibliotekanauki.pl/articles/154679.pdf

Data publikacji:

2010

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

odwracalne układy logiczne
synteza logiczna
reversible logic circuits
logic synthesis

Opis:

W pracy zaprezentowany jest efektywny obliczeniowo algorytm syntezy układów odwracalnych oparty na komutacji połączeń w sieci przełączającej Closa. Zaproponowano heurystyki, które zmniejszają koszt generowanych układów. Dla układów o 3 wejściach i wyjściach podstawowa wersja algorytmu generuje układy o średnim koszcie równym 131,1% kosztu układu optymalnego, zaś pokazane heurystyki zmniejszają go do 113,7%.
Synthesis of reversible Boolean functions (i.e. bijective mappings) is an emerging research area, mainly motivated by advances in quantum computing, nanotechnologies and low power design. The paper describes a computationally efficient reversible circuit synthesis algorithm. The presented synthesis algorithm decomposes the permutation realized by a reversible function into simpler permutations, which can be then directly mapped to reversible gates. The decomposition is based on the combinatorial theorems used by the Clos switching networks. In the paper analysis of the algorithm computational complexity is performed as well as some new heuristic modifications are proposed. These heuristics decrease the cost of generated circuits and reduce the required computation time. For all 3-input, 3-output reversible functions, the basic algorithm generates circuits that are 131.1% larger than the optimal one, while the introduced heuristics reduce it to 113.7%.

Źródło:

Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 735-738
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 37.

Tytuł:

Obowiązek oparty na preferencji
Obligation Based on Preference

Autorzy:

Drofiszyn, Marcin

Powiązania:

https://bibliotekanauki.pl/articles/38429569.pdf

Data publikacji:

2022

Wydawca:

Uniwersytet Warszawski. Wydział Filozofii

Tematy:

Henryk Elzenberg
moral obligation
value
deontic logic
logic of preference

Opis:

The paper presents a formalization of Henryk Elzenberg’s system of axiology, which features the notions of value, ought, and obligation. The formalization I propose is constructed in the language of sentential modal logic. However, as Elzenberg was well aware, his system of axiology had several difficulties. To avoid them, I propose a modification of the system’s foundations and show that it preserves the formal properties of ought and obligation postulated by Elzenberg. To show this, I express in the proposed formal language a certain theory of the logic of preference that I describe from the syntactical as well as the semantical point of view.

Źródło:

Filozofia Nauki; 2022, 30, 3; 101-130
1230-6894
2657-5868

Pojawia się w:

Filozofia Nauki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 38.

Tytuł:

The Value of Reality to Logic and the Value of Logic to Reality: A Comparison of Łukasiewicz’s and Leśniewski’s Views

Autorzy:

Rybaříková, Zuzana

Powiązania:

https://bibliotekanauki.pl/articles/38424725.pdf

Data publikacji:

2022

Wydawca:

Uniwersytet Warszawski. Wydział Filozofii

Tematy:

Stanisław Leśniewski
Jan Łukasiewicz
philosophy of logic
metaphysics of logic

Opis:

Since Kazimierz Twardowski introduced the notions of “symbolomania” and “pragmatophobia,” the relationship between logic and reality was the focus of the philosophers from the Lvov-Warsaw School — inter alia two prominent logicians of the group, Stanisław Leśniewski and Jan Łukasiewicz. Bolesław Sobociński has pointed out, however, that there was a contrast between their approach to logic and reality. Despite being members of the same philosophical group and even colleagues from the same department, their philosophical views on the position of logic in reality differed considerably. Yet they both agreed that reality has a certain importance for logic and that logic could be valuable for reality. The aim of this paper is to introduce their divergent positions and describe in more detail how Leśniewski and Łukasiewicz understood the relationship between logic and the real world.

Źródło:

Filozofia Nauki; 2022, 30, 1; 83-94
1230-6894
2657-5868

Pojawia się w:

Filozofia Nauki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 39.

Tytuł:

Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts

Autorzy:

Lechniak, Marek

Powiązania:

https://bibliotekanauki.pl/articles/2013395.pdf

Data publikacji:

2006

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief

Opis:

The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.

Źródło:

Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 40.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 41.

Tytuł:

A Variant of Material Connexive Logic

Autorzy:

Belikov, Alexander
Zaitsev, Dmitry

Powiązania:

https://bibliotekanauki.pl/articles/2142753.pdf

Data publikacji:

2021-11-09

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

many-valued logics
connexive logic
four-valued logic MC
informal reasoning

Opis:

The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.

Źródło:

Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 42.

Tytuł:

From quantum logic to quantum computational logic

Autorzy:

Caponigro, M.
Mancini, S.

Powiązania:

https://bibliotekanauki.pl/articles/1955359.pdf

Data publikacji:

2006

Wydawca:

Politechnika Gdańska

Tematy:

quantum logic
quantum computation

Opis:

We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.

Źródło:

TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2006, 10, 1; 5-19
1428-6394

Pojawia się w:

TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 43.

Tytuł:

Applications of Algebra in Logic and Computer Science – the Past and the Future

Autorzy:

Grygiel, Joanna

Powiązania:

https://bibliotekanauki.pl/articles/749898.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

conference
algebra
logic
applications

Opis:

We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.

Źródło:

Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 44.

Tytuł:

An Alternative Natural Deduction for the Intuitionistic Propositional Logic

Autorzy:

Ilić, Mirjana

Powiązania:

https://bibliotekanauki.pl/articles/749978.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

natural deduction
intuitionistic logic

Opis:

A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.

Źródło:

Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 45.

Tytuł:

Maurycy Straszewski – filozofia dziejów filozofii w poszukiwaniu praw i zasad rozwoju filozofii

Autorzy:

Tyl, Mirosław

Powiązania:

https://bibliotekanauki.pl/articles/637615.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

W dniu 7 V 1900 roku, na posiedzeniu działającego w Wiedniu Towarzystwa  Filozoficznego,  Maurycy  Straszewski  (1848-1921)  wygłosił wykład pt. Ideen zur Philosphie der Geschichte der Philosophie, którego tekst wydał później w języku polskim, jednak już pod zmienionym tytułem: Pomysł do ujęcia dziejów filozofii w całości. W pierwszych  partiach  swego  wystąpienia,  dokonując  wstępnej  ekspozycji tematu, odwołał się Straszewski do osobliwego wydarzenia, na które raczej nie zwracano w tym czasie uwagi. Chodziło o prawdopodobną rocznicę publicznego ogłoszenia przez Talesa poglądów na temat genezy i natury rzeczywistości, co miało – jego zdaniem – dokonać się około 600 roku p.n.e. i stanowić zarazem początek filozofii. W pełnych patosu słowach mówił dalej o niezerwanej już nigdy później nici tradycji filozoficznego myślenia, o duchowym szlachectwie wszystkich filozofujących, które nie tylko przysparza im i ich dyscyplinie dostojeństwa, lecz które nade wszystko pociąga za sobą określone obowiązki.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 46.

Tytuł:

Ingardenowska teoria imion własnych w świetle sporu o ich semantykę

Autorzy:

Cyzman, Marzenna

Powiązania:

https://bibliotekanauki.pl/articles/637621.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Pomysł zaprezentowania i krytycznej analizy koncepcji nazw własnych sformułowanej Romana Ingardena wynika z konieczności uzupełnienia swoistej luki w pracach na temat jego ontologii, estetyki czy teorii dzieła literackiego. Refleksja o nazwach własnych pojawia się w nich bowiem nader rzadko, najczęściej w kontekście rozważań głównych, dla których stanowi jedynie przyczynek, uzupełnienie czy dygresję.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 47.

Tytuł:

Konflikt pana i niewolnika w filozofii Hegla

Autorzy:

Żelazny, Mirosław

Powiązania:

https://bibliotekanauki.pl/articles/637627.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Jednym z największych zaniedbań filozofii Zachodu było zagubienie pojęcia karmy.Karma jest tylko magazynem niezużytej energii, niespełnionych pragnień i niezrozumiałych obaw. Magazyn zapełnia się wciąż nowymi pragnieniami i lękami. Ale nie musi tak być zawsze. Niech pan spróbuje zrozumieć istotną przyczynę pańskich obaw (wyobcowania z samego siebie) i pragnień (tęsknota za jaźnią), a pańska karma zniknie jak sen.Wydaje mi się, że w czasach nowożytnych najbliższy zrozumienia tej pradawnej prawdy był Johann Gottlieb Fichte. Zgodnie z jego koncepcją pierwsza faza ludzkiego życia, wczesne dzieciństwo, charakteryzowało się identycznością Ja z samym sobą

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 48.

Tytuł:

Heglowska teoria uniwersaliów

Autorzy:

Royce, Josiah

Powiązania:

https://bibliotekanauki.pl/articles/637643.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Trzeba  jeszcze  wspomnieć  o  jednej  zasadniczej  kwestii  związanej z Nauką logiki. Logika starego typu sama siebie określała jako „formalną”. Rozpatrywała kategorie i metody myślenia, lecz nie podejmowała się konstrukcji konkretnych prawd. Formy myślenia nigdy nie były dla niej czymś rzeczywistym. Kategorie Hegla są oczywiście czymś więcej. Prawa myślenia nie są tylko abstrakcjami, lecz są duszą rzeczy. Nauka logiki konstruuje samą istotę jaźni świata

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 49.

Tytuł:

Derrida i doświadczenie figuratywne: ku semantyce transgresywnej

Autorzy:

Synak-Pskit, Xymena

Powiązania:

https://bibliotekanauki.pl/articles/637653.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Podejmując  próbę  określenia  koncepcji  semantycznej  zarysowanej w filozofii Derridy narażam się być może na głosy sprzeciwu wobec możliwości  mówienia  o  jakiejkolwiek  systematyczności  dyskursu proponowanego przez myśl dekonstrukcyjną. Myślę jednak, że obecny stan refleksji filozoficznej spłaszcza poniekąd filozofię derridiańską, redukując ją do anty-systemu, interpretacyjnego chaosu czy też filozoficznego kuglarstwa, podczas gdy stanowi ona pole dla szerokiej interpretacji, wcale nie o charakterze „wszystkoizmu”.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 50.

Tytuł:

Problem refleksji zewnętrznej w Nauce logiki

Autorzy:

Szymański, Sławomir

Powiązania:

https://bibliotekanauki.pl/articles/637655.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

W często przytaczanym fragmencie Wykładów z historii filozofii Hegel  opisuje  pewien  charakterystyczny  punkt  widzenia  na  filozofię; wyraża się on w pełnym wyższości zobojętnieniu na zgłaszane przez filozofię roszczenie do poznania prawdy, a kumuluje w przekonaniu, że historia filozofii to po prostu zbiór przekonań, poglądów, mniemań czy opinii. Na korzyść tego stanowiska działa jeszcze fakt istnienia wielu  rozmaitych  filozofii,  często  wzajemnie  sprzecznych

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 51.

Tytuł:

Heglowska krytyka logiki formalnej

Autorzy:

Woleński, Jan

Powiązania:

https://bibliotekanauki.pl/articles/637659.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

W Nauce logiki Hegla znajdują się liczne i obszerne rozważania z zakresu filozofii logiki czy logiki filozoficznej, rozumianej jako analiza podstawowych pojęć logicznych, a także pewna, chociaż znacznie mniej sza ilość uwag dotyczących spraw formalnych. Te drugie nie przedstawiają żadnej wartości merytorycznej i świadczą o tym, że Hegel nie rozumiał stanu logiki w czasie, gdy pisał swoje dzieło, tj. w latach 1812-1816, a więc, gdy ta dyscyplina nie była jeszcze zbyt rozwinięta

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 52.

Tytuł:

Heglowska filozoficzna ścieŜka rozwoju duchowego

Autorzy:

Nowicki, Światosław Florian

Powiązania:

https://bibliotekanauki.pl/articles/637661.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Miejsce filozofii w kulturze Zachodu, zdominowanej przez spektakularny rozwój nauki i techniki, jest niepewne, wątpliwe, dyskusyjne. Deprecjonuje się ją i kwestionuje jej sens nie tylko z zewnątrz, ale nawet na gruncie samej filozofii, zwłaszcza że w ramach wielości różnych filozofii występuje też wiele różnych podejść do niej, w tym również podejść z pozycji jawnie antyfilozoficznych

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 53.

Tytuł:

Jakie warunki musi spełnić dobra teoria obowiązku?

Autorzy:

Godlewski, Roman

Powiązania:

https://bibliotekanauki.pl/articles/637667.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Wciąż brak nam dobrej teorii obowiązku. Powody tego stanu rzeczy są rozliczne. Głównym jest zapewne ten, że intencje większości badaczy nie są neutralne aksjologicznie, czyli budując teorię starają się oni wspierać określone stanowiska normatywne, a wzbraniają przed rozważaniem rozwiązań teoretycznych, o których można by sądzić, że uzasadniają stanowiska etycznie im wrogie. Nie może się jednak rozwijać nauka, gdy spętana jest przekonaniami moralnymi, religijnymi, ideologicznymi czy światopoglądowymi.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 54.

Tytuł:

O pewności jako próba unieszkodliwienia sceptycyzmu

Autorzy:

Rakoczy, Marek

Powiązania:

https://bibliotekanauki.pl/articles/637669.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Zarówno w Traktacie, jak w późniejszych rozważaniach, Wittgenstein uznał sceptycyzm kartezjański – kwestionujący prawomocność wszelkich zdań dotyczących świata zewnętrznego – za niedorzeczność, którą należy, wraz z większością problemów epistemologii nowożytnej, oddalić. A jednak wskazanie na niemożność przedstawienia racji, jakiej żąda sceptyk, może sugerować fiasko Wittgensteinowskiego przedsięwzięcia: jeśli przedsięwzięcie to raczej otwiera, niŜ zamyka drogę sceptycyzmowi, to intencje za nim stojące – zdaniem niektórych – stają się kwestią sporną. W artykule tym przyjmuje, że antysceptycyzm Wittgensteina nie podlega dyskusji. Dyskusji podlega jedynie fakt, czy zostaje on przekonująco sformułowany.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 55.

Tytuł:

lasyka i awangarda w hermeneutycznej refleksji nad sztuką Hansa-Georga Gadamera i Hansa Blumenberga

Autorzy:

Zowisło, Maria

Powiązania:

https://bibliotekanauki.pl/articles/637673.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Zagadnienie trwałości i zmiany, posiadające swoją ustaloną pozycję itradycję w ramach socjologii jest także istotnym problemem estetyki współczesnej, która rozważa je pod postacią pytania o jedność (ciągłość) czy też ostateczny rozbrat (zerwanie) sztuki współczesnej ze sztuką klasyczną.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 56.

Tytuł:

O pojęciu języka i roli reguł u późnego Wittgensteina: Cavell versus Pole

Autorzy:

Zarębski, Tomasz

Powiązania:

https://bibliotekanauki.pl/articles/637688.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Wedle powszechnej i chyba niepodważalnej dziś opinii Ludwig Wittgenstein należy do nielicznego grona tych filozofów, którzy wywarli największy wpływ na kształt filozofii dwudziestego wieku – zwłaszcza filozofii języka; wpływ ten z pewnością trwa zresztą nadal. W przypadku autora  Dociekań filozoficznych panuje jednak niemal równie powszechny brak zgody co do tego, jakie stanowisko filozoficzne rzeczywiście zajmował i jakie konsekwencje można z niego wyprowadzić.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 57.

Tytuł:

Dyskursywna koncepcja władzy. Foucault i Laclau o dyskursie, podmiocie i władzy

Autorzy:

Rasiński, Lotar

Powiązania:

https://bibliotekanauki.pl/articles/637690.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Prezentowany artykuł jest efektem rozważań, jakie przeprowadziłem w swojej dysertacji doktorskiej, zatytułowanej Hegemonia i społeczeństwo. Analiza i rekonstrukcja dyskursywnej teorii władzy. Zbyt długi namysł nad formą publikacji całości dysertacji – co doprowadziło do dezauktualizacji pewnych jej fragmentów – skłonił mnie ostatecznie do publikacji czegoś w rodzaju „rekapitulacji”, która zaprezentuje jej, moim zdaniem, najważniejsze rezultaty

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 58.

Tytuł:

Kultura jako tekst i kontekst w antropologii interpretatywnej Clifforda Geertza

Autorzy:

Wąchal, Krzysztof

Powiązania:

https://bibliotekanauki.pl/articles/637692.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Przedmiotem antropologii kulturowej jest oczywiście kultura. „Problem polega na tym, że nikt nie jest całkiem pewien, co to jest kultura. Pojęcie to [...] jest ulotne, niestałe, encyklopedyczne i normatywnie nacechowane”. Nic więc dziwnego, iż bywa kwestionowane; z wielu stron słychać głosy, iż należałoby zeń zrezygnować dla dobra nauki czy nawet ludzkości. W definiowaniu przedmiotu swoich badań antropologowie obchodzą się z niesłychaną nonszalancją. Dla przykładu: C.Geertz w Zastanym świetle przywołuje Kluckhohna i Kroebera, którym udało się skatalogować aż 171 definicji tego pojęcia.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 59.

Tytuł:

Nieliberalny liberalizm Hegla

Autorzy:

Jakubowski, Marek N.

Powiązania:

https://bibliotekanauki.pl/articles/637694.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Zarówno odwołujący się do praw natury kontraktualiści, jak utylitaryści zakładający, że maksimum szczęścia społeczeństwo osiąga wówczas, gdy największa liczba jednostek je osiąga, uznawali autonomię za niezbywalną własność jednostki. Tak pojmowana przez nich autonomia miała charakter przedspołeczny, czy też, inaczej rzecz ujmując, nie była pochodną uspołecznienia.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 60.

Tytuł:

Heglowska dialektyka Pana i Sługi

Autorzy:

Białek, Przemysław

Powiązania:

https://bibliotekanauki.pl/articles/637696.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Funkcją dialektycznego w swej naturze opisu relacji pomiędzy dwoma samowiedzami jest wyjaśnienie możliwości ukonstytuowania się osobowej rzeczywistości. Oznacza to, że człony fundamentalnego stosunku społecznego – uznawania – nie są przed jego zaistnieniem nośnikami specyficznie ludzkich cech. Na samym początku tej pracy nie można dokładnie powiedzieć, dlaczego Hegel tak sądzi, ponieważ uzasadnienie tej tezy wymagałoby przedstawienia już teraz całej niezwykle złożonej, wieloaspektowej relacji pomiędzy dwoma samowiedzami.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 61.

Tytuł:

Poza zasadą różnorodności, czyli czemu służy krytyka spekulatywna

Autorzy:

Ferenc, Mariusz

Powiązania:

https://bibliotekanauki.pl/articles/637702.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Określeniem najlepiej odpowiadającym sposobowi istnienia filozofii współcześnie, tej przede wszystkim, która wykracza poza swe tradycyjne granice ku eseistyce literackiej, jest wielość. Wielość perspektyw, instancji, podmiotów, form, sytuacji i okoliczności. Wielość autorów, zagadnień, tez, polemik, kontrowersji i oburzeń. Można by mnożyć bez końca, znajdując nawet pewną satysfakcję w geście deiktycznym, którego granice wyznaczają jedynie wola i ostrość spojrzenia. Niemniej wyliczanie, pochłonięta rozplenioną zewnętrznością dyskursywnych modi indukcja, nie byłaby ani czymś pożądanym ani sensownym, nie jest toteż naszym celem.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 62.

Tytuł:

Wakacje Hegla. Uwagi na temat aktualności rozważań Hegla w Wykładach o estetyce

Autorzy:

Rostkowska, Aneta

Powiązania:

https://bibliotekanauki.pl/articles/637704.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Szklanka wody stojąca na otwartym, unoszącym się w powietrzu, parasolu. Tak można w kilku słowach opisać obraz belgijskiego malarza René Magritte’a, zatytułowany Wakacje Hegla (Les vacances de Hegel, 1958). Jest to dzieło zaskakujące, gdyż na ogół Hegel nie kojarzy się z wakacyjnym odpoczynkiem, lecz raczej z pełną trudu i wyrzeczeń dialektyczną pracą. Jego teksty nie należą do tych chętnie zabieranych na wakacje; to raczej teksty-wyzwania, a więc takie, do których sięgamy dopiero po wakacjach –  i to raczej tylko tych dobrze wykorzystanych.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 63.

Tytuł:

Hegel jako teoretyk i krytyk społeczeństwa obywatelskiego

Autorzy:

Przyłębski, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/637708.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Trzy lata temu, przy okazji rozmowy o zbliżającym się wówczas XXVI Kongresie Heglowskim, który pod hasłem „Filozofia polityczna Hegla”  odbył  się  w  2006  roku  w  Poznaniu,  jeden  z  kolegów-filozofów zwrócił mi uwagę na dość osobliwą sytuację, z którą mieliśmy do czynienia po upadku tzw. realnego socjalizmu i przywróceniu niepodległości w 1989 roku. Jednym z naczelnym haseł, którymi posługiwali się wówczas politycy, politolodzy i publicyści – że wymienię choćby Pawła Śpiewaka i Jadwigę Staniszkis – było zbudowanie w naszym kraju społeczeństwa obywatelskiego i oparcie na nim nowego ładu społecznego.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 64.

Tytuł:

On covariety lattices

Autorzy:

Brengos, Tomasz

Powiązania:

https://bibliotekanauki.pl/articles/728796.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

coalgebra
covariety
coalgebraic logic

Opis:

This paper shows basic properties of covariety lattices. Such lattices are shown to be infinitely distributive. The covariety lattice $L_{CV}(K)$ of subcovarieties of a covariety K of F-coalgebras, where F:Set → Set preserves arbitrary intersections is isomorphic to the lattice of subcoalgebras of a $P_κ$-coalgebra for some cardinal κ. A full description of the covariety lattice of Id-coalgebras is given. For any topology τ there exist a bounded functor F:Set → Set and a covariety K of F-coalgebras, such that $L_{CV}(K)$ is isomorphic to the lattice (τ,∪,∩) of open sets of τ.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 179-191
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 65.

Tytuł:

Linear logic in computer science

Autorzy:

Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V.

Powiązania:

https://bibliotekanauki.pl/articles/122583.pdf

Data publikacji:

2015

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

linear logic
resources
proofs

Opis:

Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, parallelism on syntactic level. In our paper we try to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as space (memory) and time. Handling with resources takes place in deduction system of linear logic. We show how special form of proofs, called designs, is constructed and we show the relationship between space and time in designs.

Źródło:

Journal of Applied Mathematics and Computational Mechanics; 2015, 14, 1; 91-100
2299-9965

Pojawia się w:

Journal of Applied Mathematics and Computational Mechanics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 66.

Tytuł:

Formal reconstruction of notions of belief, utterance and trust

Autorzy:

Piechowicz, Robert

Powiązania:

https://bibliotekanauki.pl/articles/690754.pdf

Data publikacji:

2020

Wydawca:

Copernicus Center Press

Tematy:

logic
beliefs
utterances
trust

Opis:

Problem of epistemic activity and their relationship with language is very well known in philosophy. Undertaking this challenge in this article we shall present some logical constructions apparent in these issues. More precisely we want to describe some difficulties of formal reconstruction of the notion of belief and utterance and try to find broader perspective appointed by notion of trust. To realize this goals article shows how non-formal assumption about doxa affects on its formal construction. Then, logic of utterances-mainly based on Conversational Implicatures theory-and its relation to doxastic systems is discussed and, finally, article shows that more accurate description of these two notions needs broader perspective created by BIT system proposed by Ch-J. Liau.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2020, 68; 63-77
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 67.

Tytuł:

“Is logic a physical variable?” Introduction to the Special Issue

Autorzy:

Eckstein, Michał
Skowron, Bartłomiej

Powiązania:

https://bibliotekanauki.pl/articles/1047603.pdf

Data publikacji:

2020-12-30

Wydawca:

Copernicus Center Press

Tematy:

category theory
physics
logic

Opis:

“Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information Center in Sopot. It touches upon the intimate relationship between the foundations of physics, mathematics and philosophy. To address this question one needs a conceptual framework, which is on the one hand rigorous and, on the other hand capacious enough to grasp the diversity of modern theoretical physics. Category theory is here a natural choice. It is not only an independent, well-developed and very advanced mathematical theory, but also a holistic, process-oriented way of thinking.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2020, 69; 7-13
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 68.

Tytuł:

On the validity of the definition of a complement-classifier

Autorzy:

Stopa, Mariusz

Powiązania:

https://bibliotekanauki.pl/articles/1047622.pdf

Data publikacji:

2020-12-29

Wydawca:

Copernicus Center Press

Tematy:

category theory
topos theory
categorical logic
Heyting algebras
co-Heyting algebras
intuitionistic logic
dual to intuitionistic logic
complement-classifier

Opis:

It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes (co-toposes), which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier (and thus of a co-topos as well) is, at least in general and within the conceptual framework of category theory, not appropriately defined. For this purpose, I first analyze the standard notion of a subobject classifier, show its connection with the representability of the functor Sub via the Yoneda lemma, recall some other properties of the internal structure of a topos and, based on these, I critically comment on the notion of a complement-classifier (and thus of a co-topos as well).

Źródło:

Zagadnienia Filozoficzne w Nauce; 2020, 69; 111-128
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 69.

Tytuł:

Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Post-truth in public discourse in the context of classical logic and fuzzy logic

Autorzy:

Lakomy, Mirosław

Powiązania:

https://bibliotekanauki.pl/articles/520986.pdf

Data publikacji:

2019

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Tematy:

postprawda
logika klasyczna
logika trójwartościowa
logika rozmyta
kontraktualizm
post-truth
classical logic
trivalent logic
fuzzy logic
counter-actuality

Opis:

W pracy zaprezentowano dwa nurty dyskusji na temat postprawdy. Pierwszy konserwatywno-krytyczny, zasadzający się na konieczności odrzucenia tego pojęcia jako nienaukowego i szkodliwego. W tym kontekście uznano bowiem, iż termin ten jest sprzeczny z dorobkiem filozofii, logiki klasycznej i nauki społecznej Kościoła katolickiego. Drugi z kolei nurt–liberalno-kontraktualistyczny – poszukuje uzasadnienia dla zjawiska postprawdy w logice nieklasycznej, trójwartościowej i rozmytej.
The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful. In this context, it was recognized that this term contradicts the achievements of philosophy, classical logic and the social teaching of the Catholic Church. The second in the current – liberal – countercurrent – seeks to justify the phenomenon of post-truth in non-classical, trivalent and fuzzy logic.

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura; 2019, 11, 1 "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych"; 5-14
2083-7275

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 70.

Tytuł:

One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity

Autorzy:

Płaczek, Paweł

Powiązania:

https://bibliotekanauki.pl/articles/1023344.pdf

Data publikacji:

2020-11-13

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Substructural logic
Lambek calculus
nonassociative linear logic
sequent system
PTime complexity

Opis:

Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the nonassociative version of this logic. Like Lambek, we consider a left-sided system, but the result also holds for its right-sided version, by a natural symmetry. The treatment of nonassociative sequent systems involves some subtleties, not appearing in associative logics. We also prove the PTime complexity of the multiplicative fragment of NBL.

Źródło:

Bulletin of the Section of Logic; 2021, 50, 1; 55-80
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 71.

Tytuł:

An Arithmetically Complete Predicate Modal Logic

Autorzy:

Hao, Yunge
Tourlakis, George

Powiązania:

https://bibliotekanauki.pl/articles/2033850.pdf

Data publikacji:

2021-08-23

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs

Opis:

This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.

Źródło:

Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 72.

Tytuł:

Spór o wartość logiczną norm. Logika norm a logika deontyczna
The Discussion about the Truth Value of Norms. Logic of Norms and Deontic Logic

Autorzy:

Trypuz, Robert

Powiązania:

https://bibliotekanauki.pl/articles/2015662.pdf

Data publikacji:

2004

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika norm
logika deontyczna
prawda
logic of norms
deontic logic
truth

Opis:

The main purpose of this paper was the trial to answer the question if norms can function as premises or conclusions in logical inferences. According to definition of logical inference, the parts of its may be only sentences (in indicative mood) which are true or false. The logic, which accepts that norms are the true and false propositions, can be named the Logic of Norms. Otherwise the logic, which reject that norms are true and false propositions, we name Deontic Logic. The last one, in order to use the logical inference, changes each of norms N into normative sentences: ‘N exists’ or ‘N exists for the sake of set of norms’. The normative sentences are sentences in indicative mood and thereby are true or false. The whole consideration about two types aforementioned logic is preceded by some remarks about variety of the meanings of the word ‘norm’, the linguistic structures of norm and the views of the truth value of norms.

Źródło:

Roczniki Filozoficzne; 2004, 52, 1; 293-316
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 73.

Tytuł:

Pojęcie nazwy oraz funktora
The notions of name and functor

Autorzy:

Wawrzonkiewicz-Słomska, Anna

Powiązania:

https://bibliotekanauki.pl/articles/501345.pdf

Data publikacji:

2012

Wydawca:

Instytut Studiów Międzynarodowych i Edukacji Humanum

Tematy:

philosophy
logic
history of philosophy
history of logic
notion
name
functor

Opis:

Syntactic categories fulfil different roles in constructing compound expressions. Sentences and names, and also some functors are syntactic categories. Sentences are expressions which state that something is this way and not another. Therefore, in the logical sense, a sentence is a following statement: “The earth is a planet”. Sentences (expressions) are intensional when they do not deserve a feature of extensionality. There can be sentences saying about conditions of the mind, causal or time relationships etc. Therefore, they are intensional because their logical value (i.e. truth or falsity) depends not only on component elements (e.g. from truth / falsity of clauses of the compound sentence), but also on different factors. Between the modules of this expression (e.g. between the component sentences of the compound sentence) some more different relations occur. These sentences get in relationships between them, e.g. in the cause and effect relationship - as a logical implication relation. Therefore, the logical value of these sentences goes beyond simple logical deductions, and according to some theories goes beyond logic itself.

Źródło:

Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2012, 1(9); 135-139
1898-0171

Pojawia się w:

Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 74.

Tytuł:

A Post-style proof of completeness theorem for symmetric relatedness Logic S

Autorzy:

Klonowski, Mateusz

Powiązania:

https://bibliotekanauki.pl/articles/749984.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

normal forms
Post-style proof of completeness
relatedness logic
relating logic

Opis:

One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.

Źródło:

Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 75.

Tytuł:

A Knowledge Representation Framework Based on Epistemic Logic

Autorzy:

Przymusiński, T.

Powiązania:

https://bibliotekanauki.pl/articles/91397.pdf

Data publikacji:

2014

Wydawca:

Warszawska Wyższa Szkoła Informatyki

Tematy:

non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases

Opis:

We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic specifications. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural definitions of various formalisms but it also enables us to better understand mutual relationships existing between them.

Źródło:

Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2014, 8, 11; 41-53
1896-396X
2082-8349

Pojawia się w:

Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 76.

Tytuł:

Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)

Autorzy:

Kałuski, J.

Powiązania:

https://bibliotekanauki.pl/articles/326030.pdf

Data publikacji:

2012

Wydawca:

Politechnika Śląska. Wydawnictwo Politechniki Śląskiej

Tematy:

logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making

Opis:

W pracy obszernie omówiono stosowanie logiki kwantowej do podejmowania decyzji na tle logiki klasycznej w szerokim zakresie teoretycznym i praktycznym. Wychodząc od samych początków teorii kwantowej, a więc od eksperymentu myślowego EPR, prac Heisenberga, Bohra, Borna, Schroedingera, von Neumanna, Paulli’ego i innych znakomitych teoretyków fizyki kwantowej lat 20 i 30 ubiegłego stulecia, aż do słynnego twierdzenia J. Bella (1964) i jego nierówności i kończąc eksperymentami A. Aspecta i A. Zeillingera, pokazano skomplikowaną drogę rozwoju logiki kwantowej w podejmowaniu decyzji w naukach kognitywnych, ekonomii i technice. Równolegle analizowano pojęcia logiki klasycznej i kwantowej w aspekcie filozoficznym, począwszy od I. Kanta i jego logiki formalnej, poprzez logikę Łukasiewicza – Tarskiego, kosmologię Jacyny – Onyszkiewicza, aż po filozofię buddyzmu oraz różnych, współczesnych nurtów myślenia „kwantowego”. Do podejmowania decyzji w konkretnych sytuacjach służą modele na bazie kwantowej teorii informacji, kwantowego prawdopodobieństwa a przede wszystkim kwantowej teorii gier. Na przykładach szczegółowych obliczeń prawdopodobieństw kwantowych i budowy strategii kwantowych na użytek gier zobrazowano proces postępowania, który zasadniczo różni się od modelu klasycznego.
In the work some problems of quantum decision making with comparing to the classical logic are presented. Based to Bell’s theorem (1964) and many works of famous physicians as Einstein, Bohr, Heisenberg, Born, Schroedinger, von Neumann and others which hold fast to the concept of new logic, the hard way of development of quantum logic in decision making is discussed. Simultaneously in the paper the I. Kant’s formal logic, Łukasiewicz-Tarski’s truth theory and logic across the Jacyna-Onyszkiewicz’s cosmological theory and Buddism’s philosophy are presented. To decision making in the concrete situations some models of quantum information theory, quantum probability and first of all quantum game are used. On the number of examples according to detailed computing of the quantum probability and construction of the quantum strategies in the games, the methods of calculating are showed. In all mentioned discussion shows that these methods are different from classical methods.

Źródło:

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2012, 61; 191-219
1641-3466

Pojawia się w:

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 77.

Tytuł:

www-Based Boolean Function Minimization

Autorzy:

Tomaszewski, S. P.
Celik, I. U.
Antoniou, G. E.

Powiązania:

https://bibliotekanauki.pl/articles/908086.pdf

Data publikacji:

2003

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

informatyka
digital logic
logic design
Boolean function
Boolean minimization
Quine-McCluskey metod

Opis:

In this paper a Boolean minimization algorithm is considered and implemented as an applet in Java. The application is based on the Quine-McCluskey simplification technique with some modifications. The given application can be accessed on line since it is posted on the World Wide Web (WWW), with up to four variables, at the URL http://www.csam.montclair.edu/~antoniou/bs. After extensive testing, the performance of the algorithm has been found to be excellent. The proposed application is a useful aid for students and professors in the fields of electrical and computer engineering and computer science as well as a valuable tool for digital designers.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 577-583
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 78.

Tytuł:

European Trade Union Confederation at the Crossroad: New Challenges and New Roles

Autorzy:

Kurczewska, Urszula

Powiązania:

https://bibliotekanauki.pl/articles/942433.pdf

Data publikacji:

2013

Wydawca:

Szkoła Główna Handlowa w Warszawie

Tematy:

ETUC
trade unions
interest representation
EU
logic of influence
logic of membership

Opis:

The paper discusses the role of the European Trade Union Confederation (ETUC) in political processes at the European Union (EU) level. The author presents historical development of the ETUC and its present structure. A detailed account on the evolution in the strategy of the ETUC, shifting from the 'logic of membership' (as an umbrella organisation for only a part of the labour movement across Europe) to the 'logic of influence' (as a powerful actor with monopoly in the interest representation of labour building its capacity to impact decision-making mechanism at the EU level) is delivered. The strategic change has not been a smooth process, as it entails structural adjustments and contributes to identity crisis within the ETUC. The author claims that currently the ETUC attempts to reconcile those two contradicting logics by combining strategy of effective interest representation with the strategy of mass social mobilisation.

Źródło:

Warsaw Forum of Economic Sociology; 2013, 4, 8; 76-93
2081-9633

Pojawia się w:

Warsaw Forum of Economic Sociology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 79.

Tytuł:

Konkretny powszechnik

Autorzy:

Rojek, Paweł

Powiązania:

https://bibliotekanauki.pl/articles/637647.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Andrzej Lepper, zapytany kiedyś o szczegóły programu Samoobrony, odpowiedział: „Wy ze mnie tu alfy i omegi nie róbcie. Ja znam tylko konkrety ogólne”. Wypowiedź ta wywołała rozbawienie dziennikarzy i drwiny ze strony polityków. Wiadomo bowiem, że to, co ogólne, jest abstrakcyjne, a to, co konkretne – jednostkowe, nie moŜna więc mówić o „ogólnych konkretach”.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 80.

Tytuł:

Doświadczenie a realizm w filozofii percepcji Hegla

Autorzy:

Sikora, Paweł

Powiązania:

https://bibliotekanauki.pl/articles/637651.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Heglowskie rozumienie początku wiedzy w postaci rudymentarnych elementów doświadczenia, jakimi są dane zmysłowe, jest oczywiście osadzone w ramach negująco-konstytuującej dialektyki. Jednak problem percepcji względem całościowej nauki o doświadczeniach świadomości jest już w swym początkowym momencie wieloznaczny i rozkłada się na szereg istotnych aspektów

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 81.

Tytuł:

Czy można pozostać niewzruszonym wobec powinności? Internalizm i eksternalizm w filozofii moralności

Autorzy:

Grzegorek, Tomasz

Powiązania:

https://bibliotekanauki.pl/articles/637676.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Spór między internalizmem i eksternalizmem w filozofii moralności dotyczy tego, czy analiza sądu moralnego (np. „Jan powinien oddać dług”) wymaga uwzględnienia motywacji podmiotu do odpowiedniego postępowania. Internalizm jest stanowiskiem stwierdzającym konieczność takiego uwzględnienia, eksternalizm przeciwnie – postuluje analizę sądu moralnego bez odwołania do motywów. Spór ten można również opisać na płaszczyźnie innej niż logiczna mianowicie, jak ją nazywa Stephen  Darwall,  „egzystencjalnej”.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 82.

Tytuł:

O teorii interpretacji Donalda Davidsona

Autorzy:

Godlewski, Roman

Powiązania:

https://bibliotekanauki.pl/articles/637680.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Praca niniejsza poświęcona jest Davidsonowskiej teorii interpretacji. Jesteśmy jednak przekonani, że prezentacja dowolnego zagadnienia, w tym również zagadnienia z zakresu historii filozofii, staje się głębsza i bardziej wyrazista, gdy ma charakter dialektyczny. Artykuł ten pomyślany jest tak, by stale towarzyszył nam adwersarz. Obok własnego wywodu będziemy przytaczać i zbijać jego tezy. Ponieważ zaś wierzymy w przewagę sporu rzeczywistego nad fikcyjnym, będzie on osobą rzeczywistą (niech nam to wybaczy). Wybitnym przedstawicielem błądzących w naszej opinii interpretatorów Davidsona jest Jerzy Kmita. Jego książka Jak słowa łączą się ze światem [13] wydana już ponad 10 lat temu wciąż pozostaje na polskim rynku, choć traktuje też  o  innych  autorach,  najpełniejszym  opracowaniem  prac  naszego bohatera.  Trzeba  też  przyznać,  że  znajduje  niewielką  konkurencję wliteraturze światowej. W kilku miejscach zostanie wspomniany także Richard Rorty.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 83.

Tytuł:

O niektórych trudnościach pojęciowych związanych z próbą wykazania fałszywości twierdzenia, że nic nie istnieje

Autorzy:

Nowakowski, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/637684.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Czy coś istnieje? Tak, oczywiście; samo zadanie tego pytania powinno być sprawą wstydliwą dla pytającego – zalicza go przecież w poczet głupców. Nikt na serio go nie zadaje ani nie zadawał, ani w życiu codziennym, ani nawet w najbardziej ekstrawaganckich rozważaniach filozoficznych. Jeden Gorgiasz twierdził (chociaż nie pytał, czy), że nic nie istnieje, lecz to był zapewne żart wielkiego retora, cyrkowa sztuczka ku uciesze publiczności.

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 84.

Tytuł:

O pojęciu użycia w Dociekaniach filozoficznych

Autorzy:

Wiertlewska-Bielarz, Jadwiga

Powiązania:

https://bibliotekanauki.pl/articles/637686.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

W tekście tym proponuję interpretację tezy głoszącej, że znaczeniem wyrażenia językowego jest jego użycie. Teza ta nie tylko jest wynikiem krytyki podjętej przez Wittgensteina w Dociekaniach swych wcześniejszych poglądów, ale także konsekwencją nowego podejścia do języka

Źródło:

Principia; 2010, 53
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 85.

Tytuł:

Tragizm i nadzieja. Paradoks Hegla

Autorzy:

Guczalska, Katarzyna

Powiązania:

https://bibliotekanauki.pl/articles/637698.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

„Człowiek” to termin, którego Hegel unika, tak jakby pojęcie to nie było dość filozoficzne, i ucieka się do bardziej abstrakcyjnego określenia, do „podmiotu”. Ów podmiot prawdę o sobie odnajduje w religii chrześcijańskiej, która to religia – poddana filozoficznej modyfikacji – wyznacza podstawy Heglowskiego myślenia

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 86.

Tytuł:

Śmierć Hegla, śmierć filozofii

Autorzy:

Hartman, Jan

Powiązania:

https://bibliotekanauki.pl/articles/637700.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Im dłużej zajmuję się filozofią (i metafilozofią, czyli samowiedzą filozofii), tym bardziej ogarnia mnie wyzwalająca świadomość klęski moralnej, intelektualnej i politycznej projektu ogłoszonego światu pod nazwą „filozofia” przez Pitagorasa i Platona. Narcyzm i pycha filozofa ostatecznie zwyciężyły dobre chęci, a szminka ironii i krytycyzmu zdobi jego oblicze niczym barwiczka na zmęczonym, starczym obliczu klowna, żyjącego resztkami złudzeń, że jeszcze kogoś śmieszy. Dlaczego świadomość klęski jest wyzwalająca? Bo rodzi się w niej nadzieja, że wkrótce będzie można przemyśleć to i owo całkiem na serio, nie popadając w narcystyczny solipsyzm „mówienia o filozofii”.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 87.

Tytuł:

Prawo i wartość. O pewnych zbieżnościach między Heglem i Radbruchem

Autorzy:

Nowak, Ewa

Powiązania:

https://bibliotekanauki.pl/articles/637706.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

philosophy, logic, theoretical sociology

Opis:

Jak to możliwe, że G.W.F. Hegel, jeden z fundatorów nowoczesnej filozofii prawa, jest we współczesnym dyskursie tejże dyscypliny coraz słabiej obecny? Czy z tego, że kategorie i narzędzia logiczne historyczno-spekulatywnej filozofii prawa zdają się nie przystawać do życia prawnego w demokracji, wnioskować należy, że życie to stało się wpełni rozumne, a wspólnota stanowiąca swe prawa w drodze autonomicznego formowania demokratycznej woli osiągnęła w tejże materii pełne samorozumienie i całkowitą pewność, gdy idzie o kryteria słuszności i sprawiedliwości prawa? Autorce nic nie wiadomo o takim sukcesie ani w szerokich kręgach społecznych jakiegokolwiek państwa, ani wśród filozofów prawa, ani nawet wśród teoretyków prawa: wszyscy oni wciąż na nowo podejmują pytanie o sprawiedliwość, legitymację prawa, demokratyczny proces formowania woli prawnej, jego proceduralne zabezpieczenia itd.

Źródło:

Principia; 2009, 51
2084-3887

Pojawia się w:

Principia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 88.

Tytuł:

Fuzzy logic classifier for radio signals recognition

Autorzy:

Łopatka, J.
Pędzisz, M.

Powiązania:

https://bibliotekanauki.pl/articles/308362.pdf

Data publikacji:

2001

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

modulation recognition
fuzzy logic

Opis:

This paper presents a new digital modulation recognition algorithm for classifying baseband signals in the presence of additive white Gaussian noise. Elaborated classification technique uses various statistical moments of the signal amplitude, phase and frequency applied to the fuzzy classifier. Classification results are given and it is found that the technique performs well at low SNR. The benefits of this technique are that it is simple to implement, has generalization property and requires no apriori knowledge of the SNR, carrier phase or baud rate of the signal for classification.

Źródło:

Journal of Telecommunications and Information Technology; 2001, 2; 31-34
1509-4553
1899-8852

Pojawia się w:

Journal of Telecommunications and Information Technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 89.

Tytuł:

A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs

Autorzy:

Tourlakis, George

Powiązania:

https://bibliotekanauki.pl/articles/749974.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness

Opis:

Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).

Źródło:

Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 90.

Tytuł:

Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?

Autorzy:

Kiczuk, Stanisław

Powiązania:

https://bibliotekanauki.pl/articles/2013349.pdf

Data publikacji:

2007

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic

Opis:

Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.

Źródło:

Roczniki Filozoficzne; 2007, 55, 1; 129-157
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 91.

Tytuł:

Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową
Signal converter of the binary logic to ternary and quaternary logic

Autorzy:

Walecki, M.
Urbańczyk, M.
Słota, M.
Wituła, R.

Powiązania:

https://bibliotekanauki.pl/articles/154484.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

modelowanie matematyczne
logika binarna i wielowartościowa
przetworniki logiki
binary logic
logic conversion

Opis:

Praca dotyczy modelowania przetworników logiki binarnej na logikę trójwartościową i czterowartościową. Podano przykładowe rozwiązanie zagadnienia wyznaczenia zależności opisującej stan logiczny jednego z wyjść przetwornika logiki binarnej na logikę wielowartościową (synteza układu logicznego). Analizę wykonano na platformie pakietu Mathematica. W pracy zastosowano automatyczną, programową filtrację możliwych rozwiązań na postać funkcji logicznych opisujących stan wyjścia przetworników w odniesieniu do przyjętych kryteriów wyboru. Na podstawie uzyskanych wyników w programie oraz wzoru ogólnego na stan logiczny drugiego wyjścia przetwornika przedstawiono przykładowy teoretyczny model przetwornika sygnałów logiki dwuwartościowej na trójwartościową i czterowartościową (2/3, 2/4) dla dowolnych poziomów napięciowych sygnałów logicznych. Wykonano symulacje przetworników w programie SPICE dla modeli idealnych i rzeczywistych. W modelu przetworników wykorzystano wielowejściowe napięciowe wzmacniacze operacyjne, jako układy sumujące i różnicowe.
The paper deals with the modeling of converters of binary to ternary and quaternary logics. En exemplary solution of determining the relation describing the logical state of one of outputs of the converter of binary logics to multivalue logics has been quoted, i.e. the synthesis of a logical system. The analysis was performed on the platform of the software Mathematica. An automatic program filtration of possible solutions of logical functions was applied, describing output states of converters in compliance with the accepted criteria of the proper choice. Basing on the obtained results in this program and on the general formula concerning the logical state of the other output of the converter an exemplary theoretical model of the converter of signals of binary to ternary and quaternary logics has been presented (2/3 and 2/4) concerning any arbitrary voltage level of logical signals. Simulations of converters in the SPICE program have been performed for ideal and real models. In the model of the converters multi-input voltage amplifiers have been applied, operating as adding and subtracting signal systems.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 10, 10; 857-862
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 92.

Tytuł:

W sprawie pojęcia logiki klasycznej
On the Concept of Classical Logic

Autorzy:

Kwiatkowski, Tadeusz

Powiązania:

https://bibliotekanauki.pl/articles/2013423.pdf

Data publikacji:

2006

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

logika
sylogistyka
semiotyka
dowód
stoicy
Arystoteles
logic
syllogistic logic
semiotics
proof
stoics
Aristotle

Opis:

The subject matter of our considerations here is the concept of classical logic. The author begins with a brief etymological reflection and a presentation of some views ancient philosophers had (from Heraclitus to Plato) and inspired Aristotle’s and stoic discussion of logic. They brought about the first systems of formal logic and rich outlines of other branches of logic in their broad understanding, such as the methodology of sciences and semiotics. Aristotle’s logical discoveries (mainly syllogistic logic of assertoric propositions, syllogistic logic of modal propositions, and theory of scientific proof), and stoics’ discoveries (logic of propositions and semiotics) are the first, highly advanced approaches to classical logic. The later history of logic consisted mainly in the reception of those ancient achievements, or in their semantic enrichment.

Źródło:

Roczniki Filozoficzne; 2006, 54, 2; 87-118
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 93.

Tytuł:

O rodzajach logik temporalnych

Autorzy:

Kozanecka, Anna

Powiązania:

https://bibliotekanauki.pl/articles/2013346.pdf

Data publikacji:

2007

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

czas gramatyczny
logika temporalna
logika czasów gramatycznych
logika czasu
And Next – „i następnie”
And Then – „i wtedy”
Tense
Temporal Logic
Tense Logic
Logic of Time
Chronological Logic
And Next
And Then

Opis:

The article is devoted to the problems of different kinds of logics defined as “temporal” (Temporal Logic). At present the term “temporal logic” is used to denote several mutually independent logical systems containing different specific temporal operators and being used in many different branches of knowledge. The aim of the article is to organize this issue. Parts I, II and III of the article discuss temporal logics that may be used in natural sciences (mainly physics and cosmology): tense logic, also called logic of temporal clauses, logic of time (containing time variable) and von Wright’s systems of temporal logic. In Part IV, the last part of the article, temporal systems are presented that make use of the concept of time in computer programs. Non-standard approaches have been omitted.

Źródło:

Roczniki Filozoficzne; 2007, 55, 1; 189-199
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 94.

Tytuł:

Computer System for Automated Ontology Building Basic Crocus

Autorzy:

Oborska, O.
Maherovskyj, M
Vovnjanka, R.

Powiązania:

https://bibliotekanauki.pl/articles/118041.pdf

Data publikacji:

2015

Wydawca:

Polskie Towarzystwo Promocji Wiedzy

Tematy:

ontology
machine learning
logic predicate

Opis:

The article exposes the approach developing a computer system of automated ontology building based on creation of architecture system ontology synthesis CROCUS (Cognition Relations or Concepts Using Semantics) software model. The basic modules of the system and its operations are described. The choice of software tools for implementation was described. Example of SDK decision for system realization was substantiated. The using of this system allows filling the domain ontology in automatic mode.

Źródło:

Applied Computer Science; 2015, 11, 4; 70-82
1895-3735

Pojawia się w:

Applied Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 95.

Tytuł:

Algebraic Characterization of the Local Craig Interpolation Property

Autorzy:

Gyenis, Zalán

Powiązania:

https://bibliotekanauki.pl/articles/749892.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Craig interpolation
Algebraic logic
Superamalgamation

Opis:

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain. 

Źródło:

Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 96.

Tytuł:

Pogranicze logiki i prakseologii w pracach Ewy Żarneckiej-Biały
Borderline Between Logic and Praxiology in Ewa Żarnecka-Biały’s Works

Autorzy:

Czernecka-Rej, Bożena

Powiązania:

https://bibliotekanauki.pl/articles/468806.pdf

Data publikacji:

2011

Wydawca:

Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN

Tematy:

Żarnecka-Biały Ewa
logic
praxiology

Opis:

Żarnecka-Biały presented her views on the nature of logic and praxiology, and the connections between them, in some of her papers. The aim of this article is to refer and discuss some main theses of Żarnecka-Biały’s concerning the logical aspect of praxiology.

Źródło:

Prakseologia; 2011, 151; 223-235
0079-4872

Pojawia się w:

Prakseologia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 97.

Tytuł:

Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych
An algorithm generating first order rules based on rough set methods

Autorzy:

Stepaniuk, J,
Góralczuk, L.

Powiązania:

https://bibliotekanauki.pl/articles/341117.pdf

Data publikacji:

2002

Wydawca:

Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej

Tematy:

rough sets
inductive logic programming

Opis:

W pracy przedstawiono algorytm generowania reguł pierwszego rzędu, tzn. zależności, które w poprzedniku mają koniunkcję formuł atomowych bądź ich negacji a w następniku formułę atomową. Technikę zbiorów przybliżonych wykorzystano w procesie doboru literałów mogących wchodzić w skład przesłanki generowanej reguły. Kryterium doboru opiera się na tym, aby reguła po dołączeniu do jej przesłanki kandydującego literału jak najlepiej rozróżniała przykłady pozytywne i negatywne, które do tej pory nie były rozróżnialne.
The aim of this paper is to introduce and investigate an algorithm for finding first order rules. Rough set theory is used in the process of selecting literals, which may be part of the rule. The criterion of selecting literals reads as follows: only those literals are selected, which adding to the rule makes that the rule discerns the most examples from those, which were yet undiscerned.

Źródło:

Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 235-250
1644-0331

Pojawia się w:

Zeszyty Naukowe Politechniki Białostockiej. Informatyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 98.

Tytuł:

No-signaling in topos formulation and a common ontological basis for classical and non-classical physical theories

Autorzy:

Kuś, Marek

Powiązania:

https://bibliotekanauki.pl/articles/1047596.pdf

Data publikacji:

2020-12-29

Wydawca:

Copernicus Center Press

Tematy:

no-signalling
topos
quantum logic

Opis:

Starting from logical structures of classical and quantum mechanics we reconstruct the logic of so-called no-signaling theories, where the correlations among subsystems of a composite system are restricted only by a simplest form of causality forbidding an instantaneous communication. Although such theories are, as it seems, irrelevant for the description of physical reality, they are helpful in understanding the relevance of quantum mechanics. The logical structure of each theory has an epistemological flavor, as it is based on analysis of possible results of experiments. In this note we emphasize that not only logical structures of classical, quantum and no-signaling theory may be treated on the same ground but it is also possible to give to all of them a common ontological basis by constructing a “phase space” in all cases. In non-classical cases the phase space is not a set, as in classical theory, but a more general object obtained by means of category theory, but conceptually it plays the same role as the phase space in classical physics.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2020, 69; 129-143
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 99.

Tytuł:

A Matemática como linguagem analítica em R. Carnap

Autorzy:

Borges de Meneses, Ramiro Délio

Powiązania:

https://bibliotekanauki.pl/articles/2157536.pdf

Data publikacji:

2014

Wydawca:

Instytut Studiów Międzynarodowych i Edukacji Humanum

Tematy:

Carnap
analytic language
logic language

Opis:

Logical empirism, which the metaphysical and seeks to discover the truth about the world exclusively through the natural sciences, owes its name two of its basic tenets, namely: the view that the solution of a philosophical problem requires a logical analysis of the languages in which the problem is stated, and that therefore logic plays a central role in philosophy, and the empiricist principle that any significant theory which is not of a purely logical or mathematical character must be testable by reference to empirical evidence. Carnap’s work provides, among other thing, a precise elaboration of, and a broad theoretical basis for these tenets and it develops the technical tools for the pursuit of philosophy as logical analysis. R. Carnap shall see that he furnished instruments for deduction, that is, for the transformation of formulations of factual and contingent knowledge. However, logic and mathematics not only supply rules for transformation of factual sentences but they themselves contain sentences of a different non-factual kind. On this article I explain the linguistic sense to Mathematics, and the philosophical foundations. However the logic language plays a very important role to the logical foundations of mathematics and Mathematics is to analytic language according to R. Carnap.

Źródło:

Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2014, 2(14); 15-35
1898-0171

Pojawia się w:

Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 100.

Tytuł:

The Modelwise Interpolation Property of Semantic Logics

Autorzy:

Gyenis, Zalán
Molnár, Zalán
Öztürk, Övge

Powiązania:

https://bibliotekanauki.pl/articles/43179744.pdf

Data publikacji:

2023

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

interpolation
algebraic logic
amalgamation
superamalgamation

Opis:

In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic.

Źródło:

Bulletin of the Section of Logic; 2023, 52, 1; 59-83
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce