Výsledky vyhledávání - "Nonclassical mathematical logic"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Nonclassical mathematical logic"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 505 pro vyhledávání: '"Nonclassical mathematical logic"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Multi-Agent Temporal Logics, Information, Unification, and Projectivity.

Autor: Rybakov, V. V.^1,2 (AUTHOR) Vladimir_Rybakov@mail.ru

Publikováno v: Algebra & Logic. Jul2023, Vol. 62 Issue 3, p283-288. 6p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 2 2

Akademický článek

General Belief Revision.

Autor: Delgrande, James P., Peppas, Pavlos, Woltran, Stefan

Publikováno v: Journal of the ACM. Sep2018, Vol. 65 Issue 5, p1-34. 34p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 3 3

Akademický článek

Against classical paraconsistent metatheory.

Autor: Tanaka, Koji¹ koji.tanaka@anu.edu.au, Girard, Patrick²

Publikováno v: Analysis. Apr2023, Vol. 83 Issue 2, p285-294. 10p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 4 4

Elektronická kniha

Three views of logic : mathematics, philosophy, and computer science / Donald W Loveland, Richard E. Hodel, S. G. Sterrett. [electronic resource]

Autor: Loveland, Donald W.

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

Vybrat výsledek číslo 5 5

Kniha

An introduction to non-classical logic : from if to is / Graham Priest. [elektronicky zdroj]

Autor: Priest, Graham, author

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 6 6

Elektronická kniha

Interval/probabilistic uncertainty and non-classical logics [electronic resource] / Van-Nam Huynh ... [et al.], (eds.).

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

Vybrat výsledek číslo 7 7

Kniha

Real existence, ideal necessity [elektronicky zdroj] : Kant's compromise, and the modalities without the compromise / Robert Greenberg.

Autor: Greenberg, Robert, 1934-

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 8 8

Kniha

An introduction to non-classical logic [elektronicky zdroj] : from if to is / Graham Priest.

Autor: Priest, Graham

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 9 9

Kniha

Operator theory : nonclassical problems / S.G. Pyatkov. [elektronicky zdroj]

Autor: Pyatkov, S. G.

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 10 10

Akademický článek

Rosy with Sider? The Case of the Metaphysical Liar.

Autor: Hewitt, Simon¹ s.hewitt@leeds.ac.uk

Publikováno v: Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p787-801. 15p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[51]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

422 Akademické články
23 Konferenční materiály
17 Elektronické knihy
13 Časopisy
12 Knihy
12 Electronic Resources
7 Dissertations

125 springer nature
58 oxford university press / usa
41 elsevier b.v.
33 cambridge university press
32 taylor & francis ltd
29 world scientific publishing company
24 american institute of physics
20 ios press
18 wiley-blackwell
10 american physical society
10 iop publishing
9 de gruyter
7 society for industrial & applied mathematics
6 association for computing machinery
6 ieee
6 programa de pos-graduacao em filosofia
6 universidade estadual de campinas. instituto de filosofia e ciencias humanas
5 springer
5 universidade estadual de campinas - repositorio institucional
4 logic & logical philosophy
2 academic press inc.
2 babes-bolyai university, cluj-napoca, romania
2 brill academic publishers
2 bulletin of the section of logic
2 edp sciences
2 elsevier science
2 indiana university press
2 jagiellonian university in krakow, reports on mathematical logic
2 logical methods in computer science
2 mdpi
2 nonlinear studies
2 old city publishing, inc.
2 princeton university press
2 sciendo
2 scientific & technical research council of turkey
2 universidade do vale do rio dos sinos
2 vsp
2 world scientific
1 begell house incorporated
1 berlin
1 bowling green, ohio : bowling green state university
1 eudoxus press, llc
1 faculty of organization & informatics
1 multimedia larga
1 north-holland pub. co.
1 pdxscholar
1 springer netherlands
1 springer science+business media, b.v.
1 universidad autonoma metropolitana
1 walter de gruyter

38 logic journal of the igpl
36 journal of philosophical logic
16 journal of applied non-classical logics
16 journal of logic & computation
16 journal of symbolic logic
14 aip conference proceedings
12 differential equations
10 fundamenta informaticae
10 international journal of modern physics b: condensed matter physics; statistical physics; applied physics
10 journal of mathematical sciences
10 mathematical logic quarterly
9 international journal of theoretical physics
8 journal of mathematical physics
8 review of symbolic logic
7 entcs: electronic notes in theoretical computer science
6 acta mathematica hungarica
6 algebra & logic
6 journal of applied logic
6 journal of physics a: mathematical & theoretical
6 repositorio institucional da unicamp
6 theoretical & mathematical physics
6 unicamp
6 universidade estadual de campinas
4 cybernetics & systems analysis
4 discrete mathematics & applications
4 international journal of bifurcation & chaos in applied sciences & engineering
4 journal of mathematical chemistry
4 logic & logical philosophy
4 mathematical notes
4 quantum information processing
3 acm transactions on programming languages & systems
3 ai communications
3 dynamical systems: an international journal
3 ieee transactions on circuits & systems part ii: analog & digital signal processing
3 ieee transactions on neural networks
3 international journal of computer mathematics
3 journal of functional programming
3 journal of intelligent & fuzzy systems
3 open systems & information dynamics (osid)
3 siam journal on computing
2 abstract & applied analysis
2 analysis
2 applied mathematics & mechanics
2 applied physics letters
2 archive for mathematical logic
2 asymptotic analysis
2 bulletin of the section of logic
2 chinese physics b
2 filosofia unisinos
2 nonlinear analysis: real world applications

226 Complementary Index
174 Academic Search Ultimate
31 Supplemental Index
30 Business Source Ultimate
12 Vybrané kolekce e-knih
10 OpenAIRE
8 eBook Index
8 Networked Digital Library of Theses & Dissertations
4 eBook Collection (EBSCOhost)
1 Library, Information Science & Technology Abstracts
1 GreenFILE

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......