Detailansicht

Wissensnetz

Person

Heinrich Wansing (1963-)

Philosoph

Name	Heinrich Wansing
Zeit	1963- (Lebensdaten)
Ort	Ruhr-Universität Bochum, Fakultät für Philosophie und Erziehungswissenschaft, Lehreinheit Philosophie, Logik und Erkenntnistheorie (Wirkungsort) Sonstiges Ausland / Unbekanntes Land
Beruf	Philosoph (charakteristischer Beruf)
Variante	Heinrich T. Wansing Heinrich Theodor Wansing
Weitere Angaben	Schwerpunkt: Logische und analytische Philosophie
Datensatztyp	Person
GND-Nummer	143522647
Datensatz-ID	143522647
Beteiligt an alle anzeigen Connexive Exclusion Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology Logical Multilateralism On the Provable Contradictions of the Connexive Logics C and C3 Meaning and identity of proofs in (bilateralist) proof-theoretic semantics On the Provable Contradictions of the Connexive Logics C and C3 One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic Varieties of entailment: introduction to the special issue Varieties of entailment : introduction to the special issue Simplified Tableaux for STIT Imagination Logic An Axiomatic System and a Tableau Calculus for STIT Imagination Logic Dag Prawitz on Proofs and Meaning Lexikon der Erkenntnistheorie Lexikon der Erkenntnistheorie Constructive predicate logic and constructive modal logic : formal duality versus semantical duality Negation : a notion in focus Negation : A Notion in Focus Functional completeness for subsystems of intuitionistic propositional logic A full-circle theorem for simple tense logic Actions and preventions : a constructive system of unsorted action logic The logic of information structures The logic of information structures A general possible worlds framework for reasoning about knowledge and belief

Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

Katalog der Deutschen Nationalbibliothek

Heinrich Wansing (1963-)

Connexive Exclusion

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Logical Multilateralism

On the Provable Contradictions of the Connexive Logics C and C3

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

On the Provable Contradictions of the Connexive Logics C and C3

One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic

Varieties of entailment: introduction to the special issue

Varieties of entailment : introduction to the special issue

Simplified Tableaux for STIT Imagination Logic

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Dag Prawitz on Proofs and Meaning

Lexikon der Erkenntnistheorie

Lexikon der Erkenntnistheorie

Constructive predicate logic and constructive modal logic : formal duality versus semantical duality

Negation : a notion in focus

Negation : A Notion in Focus

Functional completeness for subsystems of intuitionistic propositional logic

A full-circle theorem for simple tense logic

Actions and preventions : a constructive system of unsorted action logic

The logic of information structures

The logic of information structures

A general possible worlds framework for reasoning about knowledge and belief