Search Results - Wansing, H. (Heinrich)
- Showing 1 - 18 results of 18
-
1
Essays on Non-Classical Logic. by Wansing, H. (Heinrich)
Published 2001Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
2
The logic of information structures / by Wansing, H. (Heinrich)
Published 1993Call Number: Loading…
Located: Loading…Book Loading… -
3
Displaying Modal Logic / by Wansing, H. (Heinrich)
Published 1998Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
4
The logic of information structures by Wansing, H. (Heinrich)
Published 1993Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
5
Displaying modal logic / by Wansing, H. (Heinrich)
Published 1998Call Number: Loading…
Located: Loading…Book Loading… -
6
Truth and falsehood an inquiry into generalized logical values / by Shramko, Yaroslav
Published 2011Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
7
Negation : a notion in focus /
Published 1996Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
8
Dag Prawitz on proofs and meaning /
Published 2015Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
9
Proof theory of modal logic /
Published 1996Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
10
Proof theory of modal logic /
Published 1996Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…
Located: Loading…Book Loading… -
11
New essays on Belnap-Dunn logic
Published 2019Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
12
Nonclassical logics and information processing international workshop, Berlin, November 9-10, 1990 : proceedings /
Published 1992Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
13
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
Published 1992Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
14
Recent trends in philosophical logic /
Published 2014Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
15
What is negation? /
Published 1999Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
16
What is negation? /
Published 1999Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…
Located: Loading…Book Loading… -
17
Towards mathematical philosophy papers from the Studia Logica Conference Trends in Logic IV /
Published 2008Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
18
Logics in artificial intelligence 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
Published 2008Other Authors: “…Wansing, H. (Heinrich)…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Logic, Symbolic and mathematical
Artificial intelligence
Proof theory
Logic
Modality (Logic)
Negation (Logic)
Computer science
Electronic data processing
Logic programming
Nonclassical mathematical logic
Philosophy
Computer logic
Entailment (Logic)
Judgment (Logic)
Logic design
Mathematics
Philosophy (General)
Truth