Wszystkie pola: PROPOSITIONAL LOGIC

Skocz do pozycji: 1.

Tytuł:: Bayesian propositional logic
Autorzy:: Jarmużek, Tomasz. Autor
Współwytwórcy:: Klonowski, Mateusz. Autor
Malinowski, Jacek (1960- ). Autor
Data publikacji:: 2017
Tematy:: Statystyka Bayesa
Weryfikacja (logika)
Logika zdań
Wynikanie logiczne; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Bayesian Propositional Logic
Autorzy:: Jarmużek, Tomasz
Klonowski, Mateusz
Malinowski, Jacek
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logical entailment
statistical inference
Bayesian inference
corroboration
confirmation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Counting proofs in propositional logic
Autorzy:: David, René
Zaionc, Marek
Data publikacji:: 2009
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Valuation graphs for propositional logic
Autorzy:: Stępień, L.
Data publikacji:: 2010
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: valuation graphs
propositional logic
wykresy wyceny
rachunek zdań; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A propositional logic of temporal connectives
Autorzy:: Epstein Richard L.
Buitrago-Díaz Esperanza
Data publikacji:: 2014-09-06
Tematy:: temporal logic
propositional logic
completeness theorem
linear orderings
subjective experience of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Notes on nonmonotonic autoepistemic propositional logic
Autorzy:: Suchenek, Marek (1949- )
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A propositional logic of temporal connectives
Autorzy:: Epstein, Richard L. (1947- )
Współwytwórcy:: Buitrago-Díaz, Esperanza
Data publikacji:: 2015
Tematy:: Logika temporalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Propositional logic extended with a pedagogically useful relevant implication
Autorzy:: Batens Diderik
Data publikacji:: 2013-09-02
Tematy:: relevant implication
classical logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Autorzy:: Ilić, Mirjana
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: natural deduction
intuitionistic logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Propositional logic extended with a pedagogically useful relevant implication
Autorzy:: Batens, Diderik (1944- )
Data publikacji:: 2014
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: An alternative natural deduction for the intuitonistic propositional logic
Autorzy:: Ilić, Mirjana (1966- ). Autor
Data publikacji:: 2016
Tematy:: Logika matematyczna
Rachunek sekwentowy; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Semantyki dla intuicjonistycznego rachunku zdań
Semantics for Intuitionistic Propositional Logic
Autorzy:: Doboszewski, Juliusz
Słowa kluczowe:: semantyka teoriogrowa, struktury Kripkego, algebry Heytinga, semantyka topologiczna, intuicjonistyczny rachunek zdań
intuitionistic propositional logic, game semantics, Kripke structures, Heyting algebras, topological semantics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
Autorzy:: Kurata, Toshihiko
Fujita, Ken-etsu
Data publikacji:: 2019
Słowa kluczowe:: second-order intuitionistic propositional logic
complete Heyting algebras
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Notes on nonmonotonic autoepistemic propositional logic
Uwagi dotyczące niemonotonicznego autoepistemicznego rachunku zdań
Autorzy:: Suchenek, M. A.
Data publikacji:: 2011
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: autoepistemic logic
semantic
autoepistemic deduction
logika autoepistemiczna
semantyka
autoepistemiczny rachunek zdań; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A new normalization strategy for the implicational fragment of classical propositional logic
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Notes on nonmonotonic autoepistemic propositional logic
Autorzy:: Suchenek, M. A.
Data publikacji:: 2011
Słowa kluczowe:: autoepistemic logic
semantic
autoepistemic deduction
logika autoepistemiczna
semantyka
rachunek zdań autoepistemiczny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Formalizations for the consequence relation of visser's propositional logic
Autorzy:: Sasaki, K.
Data publikacji:: 1999
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
Autorzy:: Genitrini, Antoine
Kozik, Jakub
Data publikacji:: 2012
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Actuality in propositional modal logic
Autorzy:: Hazen, Allen P.
Współwytwórcy:: Rin, Benjamin G.
Wehmeier, Kai Frederick (1968- )
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Valuation graphs for propositional logic
Autorzy:: Stępień, L.
Data publikacji:: 2010
Słowa kluczowe:: valuation graphs
propositional logic
wykresy wyceny
rachunek zdań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:: Gheorghiu, Alexander V.
Pym, David J.
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logic programming
proof-theoretic semantics
bilateralism
negationas-failure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań
Jan Lukasiewicz’s Account of the Intuitionistic Propositional Logic
Autorzy:: Czernecka, Bożena
Data publikacji:: 2000
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Propositional dynamic logic with recursive programs
Autorzy:: Tinchev, Tinko
Vakarelov, Dimiter
Data publikacji:: 1988
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Natural Deduction System for Some Three-valued Propositional Logic
Autorzy:: Zbrzezny, A.
Data publikacji:: 1999
Słowa kluczowe:: teoria kompletności
logika zdań
rachunek ciągowy N
sequence N calculus
completeness theorem
logic of propositions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Several Remarks about Three-valued Kleene's Propositional Logic, without Tautologies
Autorzy:: Bryll, G.
Jaworski, L.
Data publikacji:: 2003
Słowa kluczowe:: propositional Kleene's logic
logic without tautologies
tautology
logika zdań Kleene'a
logika bez tautologii
tautologia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: A Resolution Calculus for First-order Schemata
Autorzy:: Aravantinos, V.
Echenim, M.
Peltier, N.
Data publikacji:: 2013
Słowa kluczowe:: first-order logic
propositional logic
resolution calculus
schemata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: NAOZAJ FREGE PLAGIZOVAL STOIKOV?
Did Frege really plagiarize the Stoics?
Autorzy:: Gahér František
Tematy:: PLAGIARISM
STOICS
FREGE
SEMANTICS
PROPOSITIONAL LOGIC
PREDICATE LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Asymptotic Properties of Logics
Autorzy:: Zaionc, M.
Data publikacji:: 2003
Słowa kluczowe:: propositional logic
asymptotic density of tautologies
probabilistc methods in logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Asymptotic properties of logics
Autorzy:: Zaionc, Marek
Data publikacji:: 2003
Słowa kluczowe:: asymptotic density of tautologies
propositional logic
probabilistic methods in logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: On Inferences of Full First-Order Hierarchical Decompositions
Autorzy:: Link, S.
Data publikacji:: 2011
Słowa kluczowe:: relational model of data
database decomposition
database constraint
axiomatisation
propositional logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Traktát Stanislava ze Znojma „De vero et falso“
Stanislav of Znojmo’s Treatise „De vero et falso“
Autorzy:: Stanislav Sousedík
Tematy:: Prague University
propositional logic
Czech philosophy
Jan Hus
John Wyclif; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA
PHILOSOPHY OF LOGIC AND PERCEPTIVE EQUIVALENCE
Autorzy:: Andrzej Grzegorczyk
Tematy:: PHILOSOPHY OF LOGIC
PROPOSITIONAL LOGIC
APPLICATIONS OF LOGIC
LOGICAL EQUIVALENCE
IMPLICATION; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: THE EXPERIMENTAL INVESTIGATION OF THE CONDITIONAL STATEMENT : DOES IT HAVE LOGIC?
Autorzy:: Vaszelka Andras
Tematy:: BICONDITIONAL
CONDITIONAL
CONDITIONAL STATEMENT
LOGIC
PROPOSITIONAL LOGIC
SCHOLASTIC LOGIC
SELECTION TASK
PSYCHOLOGY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Dowody metodą tableaux
Autorzy:: Szyper, L.
Data publikacji:: 1999
Słowa kluczowe:: artificial intelligence
information systems
propositional logic
sztuczna inteligencja
systemy informatyczne
logika zdań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Mariusz Stopa
Data publikacji:: 2018
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: A meta-logic of inference rules: Syntax
Autorzy:: Citkin Alex
Data publikacji:: 2015-03-09
Tematy:: propositional logic
multiple-conclusion rule
rejected proposition
Ł-system
admissible rule
deductive system; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: A Propositional Metric Logic with Fixed Finite Ranges
Autorzy:: Djordjević, Radosav
Ikodinović, Nebojša
Stojanović, Nenad
Data publikacji:: 2020
Słowa kluczowe:: completeness
metric operators
soundness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Asymptotic densities in logic and type theory
Autorzy:: Kostrzycka, Zofia
Zaionc, Marek
Data publikacji:: 2008
Słowa kluczowe:: asymptotic density of tautologies
probabilistic methods in logic and type theory
propositional logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Proof theory of epistemic logic of programs
Autorzy:: Maffezioli Paolo
Naibo Alberto
Data publikacji:: 2013-09-12
Tematy:: epistemic logic
dynamic propositional logic
structural proof theory
labelled sequent calculus
epistemic paradox; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Wydawca:: Copernicus Center Press
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
Autorzy:: Thomas, Wolfgang
Data publikacji:: 1988
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Category theoryand some of its logical aspects
Teoria kategorii i niektóre jej logiczne aspekty
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Słowa kluczowe:: intuitionistic logic
topos theory
propositional logic
categorical logic
category theory
non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Autorzy:: Nguyen L.A.
Szałas, A.
Data publikacji:: 2010
Słowa kluczowe:: propositional dynamic logic
checking consistency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: The Method of Socratic Proofs Meets Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Socratic proofs
correspondence analysis
invertible rule
inferential erotetic logic
classical propositional logic
sequent calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Four-valued expansions of Dunn-Belnaps logic (I): Basic characterizations
Autorzy:: Pynko, Alexej P.
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: propositional logic
logical matrix
Dunn-Belnap's logic
expansion
[bounded] distributive/De Morgan lattice
equality determinant; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: A contraction-free and Cut-free sequent calculus for propositional dynamic logic
Autorzy:: Hill, Brian
Współwytwórcy:: Poggiolesi, Francesca (1980- )
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Functional Completeness in CPL via Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: correspondence analysis
invertible rules
classical propositional logic
functional completeness
sequent calculus
automated deduction
automated rules generation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
Autorzy:: Nguyen, L. A.
Data publikacji:: 2016
Słowa kluczowe:: description logics
knowledge representation
computational complexity
reasoning
mathematical terminology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
Autorzy:: Balbiani, P.
Data publikacji:: 2003
Słowa kluczowe:: propositional modal logic
propositional dynamic logic
composition of programs
intersection of programs
test on a formula
deductive completeness
subordination method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Connexive logics : an overview and current trends
Współwytwórcy:: Omori, Hitoshi Autor
Wansing, Heinrich (1963- ) Autor
Data publikacji:: 2019
Tematy:: Logika koneksywna
Angell, Richard B. (1918-2010). Propositional logic with subjunctive conditionals
McCall, Storrs (1930- ). Connexive implication; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Invariance Under Stuttering in a Temporal Logic without the "Until" Operator
Autorzy:: Kaminski, M.
Data publikacji:: 2008
Słowa kluczowe:: propositional temporal logic
temporal interpretations
invariance under stuttering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM
Autorzy:: Giero Mateusz
Tematy:: FORMALIZATION
MIZAR
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: What is the logic of propositional identity?
Autorzy:: Sayward, Charles (1937- )
Data publikacji:: 2006
Tematy:: Geach, Peter Thomas (1916-2013)
Logika
Quine, W. V. (1908-2000)
Prior, Arthur Norman (1914-1969); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Intuitionistic predicate logic with decidable propositional atoms
Autorzy:: Sakharov, Alexander
Data publikacji:: 2007
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Autorzy:: Esakia, Leo
Współwytwórcy:: Grigolia, Revaz
Data publikacji:: 2008
Tematy:: Logika modalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Intuitionistic Predicate Logic with Decidable Propositional Formulas
Autorzy:: Sakharov, A.
Data publikacji:: 2007
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Socrates Did it Before Gödel
Autorzy:: Josef Wolfgang Degen
Data publikacji:: 2011-09-01
Tematy:: The “paradoxon” of Socrates
Gödel’s Second Incompleteness Theorem. A ramified epistemic logic with propositional quantifiers; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Application of mathematical logic (propositional calculus) to medical diagnosis
Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej
Zastosowania Matematyki T.7 (1963-1964)
Autorzy:: Wartak, Józef
Współwytwórcy:: Polska Akademia Nauk. Instytut Matematyczny.
Data publikacji:: 1963-1964
Wydawca:: Państwowe Wydawnictwo Naukowe
Słowa kluczowe:: Matematyka -- czasopisma. [KABA]
Matematyka -- zastosowania naukowe -- czasopisma. [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Contradiction-Tolerant Process Algebra with Propositional Signals
Autorzy:: Bergstra, J. A.
Middelburg, C. A.
Data publikacji:: 2017
Słowa kluczowe:: paraconsistent logic
process algebra
propositional condition
propositional signal; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej
Application of mathematical logic (propositional calculus) to medical diagnosis
Применение математической логики (исчисление предложений) при постановке врачебного диагноза
Autorzy:: Wartak, J.
Data publikacji:: 1964
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian, Aleksander
Data publikacji:: 2023-02-28
Wydawca:: Główny Urząd Statystyczny
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian A.
Tematy:: management
management science
scientific research
research hypothesis
formal logic
propositional calculus; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Aleksander Pabian
Data publikacji:: 2023-02-28
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: An Investigation into Intuitionistic Logic with Identity
Autorzy:: Chlebowski, Szymon
Leszczyńska-Jasion, Dorota
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
Autorzy:: Piotr Urbańczyk
Data publikacji:: 2014
Tematy:: Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
Autorzy:: Urbańczyk, Piotr
Data publikacji:: 2014
Wydawca:: Copernicus Center Press
Tematy:: Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
Autorzy:: Avellone, A.
Fiorentini, C.
Momigliano, A.
Data publikacji:: 2015
Słowa kluczowe:: mathematical proofs
propositional calculus
intuitionistic mathematics
contraction operator
structural analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
Remarks on the System of Formal Logic Construed for Informal Logicians
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: funktor prawdziwościowy
logika nieformalna
logika nieklasyczna
klasyczny rachunek zdań
truth-functional operator
informal logic
non-classical logic
classical propositional calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: A Dynamic Logic Account of Active Integrity Constraints
Autorzy:: Feuillade, Guillaume
Herzig, Andreas
Rantsoudis, Christos
Data publikacji:: 2019
Słowa kluczowe:: active integrity constraints
dynamic logic
propositional assignments; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Implication systems for many-dimensional logics
Autorzy:: Pynko, A.
Data publikacji:: 1999
Słowa kluczowe:: propositional language
propositional formula
formula algebra
many-dimensional formula
many-dimensional logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Some Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional Calculus
Autorzy:: Bryll, G.
Kaptur, M.
Data publikacji:: 2005
Słowa kluczowe:: propositional calculus
mathematical logic
rachunek zdań
logika matematyczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Purely equivalential propositional formulas in the intermediate Godel-Dummett logic
Autorzy:: Slomczynska, K.
Data publikacji:: 2007
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Mathematical logic : exercises and solutions
Autorzy:: Csirmaz, Laszlo
Gyenis, Zalán
Data publikacji:: 2022
Wydawca:: Springer
Słowa kluczowe:: mathematical logic
predicate calculus
first-order logic
propositional calculus
Gödel’s theorems
recursion theory
problem solving
formal logic
ultraproducts
Peano axiom system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Fast Automatic Deduction
Autorzy:: Stępień, L.
Data publikacji:: 2000/2001
Słowa kluczowe:: algorytm
rachunek zdań
logika klasyczna
algorythm
propositional calculus
classical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: SEMANTIC TABLEAU VERSIONS OF SOME NORMAL MODAL SYSTEMS WITH PROPOSITIONAL QUANTIFIERS
Autorzy:: Rönnedal Daniel
Tematy:: C.I. LEWIS C. I.
MODAL LOGIC
PROPOSITIONAL QUANTIFIERS
SEMANTIC TABLEAUX; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: About Two Different Ways of Characterization of Łuksiewicz's Three-valued Modal Propositional Calculus
Autorzy:: Bryll, G.
Kaptur, M.
Data publikacji:: 2005
Słowa kluczowe:: Lukasiewicz three-valued logic
propositional calculus
logika trójwartościowa Łukasiewicza
rachunek zdań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Purely equivalential propositional formulas in the intermediate Gödel-Dummett logic
Autorzy:: Korwin-Słomczyńska, Irena Katarzyna
Data publikacji:: 2007
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: A Sound Interpretation of Leśniewskis Epsilon in Modal Logic KTB
Autorzy:: Inoue, Takao
Data publikacji:: 2021-11-09
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Le´sniewski’s ontology
propositional ontology
translation
interpretation
modal logic
KTB
soundness
Grzegorczyk’s modal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2005
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
funktor prawdziwościowy
funktor nieprawdziwościowy
dwuwartościowy rachunek zdań
wielowartościowy rachunek zdań
logic
truth-functional operator
not truth-functional operator
two valued propositional calculus
many-valued propositional calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Hypercanonicity, extensive canonicity, canonicity and strong completness of intermediate propositional logics
Autorzy:: Fiorentini, C.
Data publikacji:: 2001
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Embedding and interpolation for some paralogics : the propositional case
Autorzy:: Batens, D.
Clercq, K.
Kurtonina, N.
Data publikacji:: 1999
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Rachunek refutacyjny a rachunek dualny
Autorzy:: Bryll, G.
Górnicka, A.
Data publikacji:: 1999
Słowa kluczowe:: rachunek refutacyjny
rachunek dualny
logika matematyczna
rachunek zdań
propositional calculus
dual account
mathematical logic
jobs bill; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Autorzy:: Kozik, Jakub
Antoine, Genitrini
Data publikacji:: 2009
Wydawca:: Springer
Słowa kluczowe:: intuitionistic logic
classical logic
Heyting algebra
binary complete tree
left subtree; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: V ČOM SA MÔŽEME MÝLIŤ?
On what you cannot be mistaken about?
Autorzy:: Igor Sedlár
Tematy:: SELF-FULFILLING BELIEF
DOXASTIC LOGIC
SEMANTICS
PROPOSITIONAL QUANTIFICATION
MOORE’S PARADOX; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Logika praktyczna z elementami wiedzy o manipulacji
Practical logic with elements of knowledge of psycho-manipulation
Autorzy:: Łukowski, Piotr
Data publikacji:: 2022
Słowa kluczowe:: logika
functor
persuasion
non-monotonicity
lie
funktor
content logic
kłamstwo
unreliable reasoning
nazwa
akt mowy
logika treści
sentence
klasyczny rachunek kwantyfikatorów
psycho-manipulation
logic
classical propositional calculus
proposition
klasyczny rachunek zdań
perswazja
speech act
manipulacja
operator
logicality
niemonotoniczność
rozumowania potoczne
first-order logic
logiczność
zdanie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics
Autorzy:: Sergei P. Odintsov
Stanislav O. Speranski
Data publikacji:: 2012-09-01
Tematy:: Inconsistency-adaptive logics
non-monotonic logic
dynamic reasoning
reliability strategy
minimal abnormality strategy
computational complexity
expressiveness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
Autorzy:: Stanisław Kiczuk
Tematy:: logika współczesna
funktor prawdziwościowy
klasyczny rachunek zdań
zasada racji dostatecznej
modern logic
truth-functional operator
classical propositional calculus
principle of sufficient reason; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2012
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika współczesna
funktor prawdziwościowy
klasyczny rachunek zdań
zasada racji dostatecznej
modern logic
truth-functional operator
classical propositional calculus
principle of sufficient reason; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: A Method of Axiomatic Rejection of Formulas in Propositional Logics
Autorzy:: Borowik, P.
Bryll, G.
Data publikacji:: 1999
Słowa kluczowe:: logika zdań
system odrzuconych aksjomatów
rachunek różniczkowy
zasada subilitycji
logic of propositions
system of rejected axions
principle of subilitation
calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "PROPOSITIONAL LOGIC" wg kryterium: Wszystkie pola