Person:2350969

Available identifiers

zbMath Open muskens.reinhard-aDBLP09/5281WikidataQ64819601 ScholiaQ64819601MaRDI QIDQ2350969

List of research outcomes

Publication	Date of Publication	Type
Interpolation in 16-valued trilattice logics	2018-04-16	Paper
Interpolation methods for Dunn logics and their extensions	2017-12-14	Paper
Context Update for Lambdas and Vectors	2017-02-22	Paper
A Gentzen calculus for nothing but the truth	2016-09-15	Paper
Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)	2016-03-08	Paper
From bi-facial truth to bi-facial proofs	2015-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4925873	2013-06-12	Paper
A Theory of Names and True Intensionality	2012-11-01	Paper
An Analytic Tableau System for Natural Logic	2010-10-12	Paper
Intensional models for the theory of types	2007-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4552515	2002-12-09	Paper
Talking about trees and truth-conditions	2002-11-26	Paper
On partial and paraconsistent logics	2002-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4244314	1999-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4295881	1994-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4287510	1994-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q3972202	1992-06-25	Paper
A relational formulation of the theory of types	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reinhard A. Muskens