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

Informacja

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