Reinhard A. Muskens

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reinhard A. Muskens