Seán Matthews

From MaRDI portal
Person:1289099

Available identifiers

zbMath Open matthews.seanMaRDI QIDQ1289099

List of research outcomes





PublicationDate of PublicationType
A practical implementation of simple consequence relations using inductive definitions2019-10-01Paper
Structuring metatheory on inductive definitions2019-01-15Paper
Structuring metatheory on inductive definitions2003-01-14Paper
Natural deduction for non-classical logics2001-02-14Paper
https://portal.mardi4nfdi.de/entity/Q45113212000-10-30Paper
Labelled modal logics: Quantifiers2000-03-29Paper
https://portal.mardi4nfdi.de/entity/Q42684511999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42229781999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q43854371998-04-13Paper
Labelled propositional modal logics: theory and practice1998-03-25Paper
https://portal.mardi4nfdi.de/entity/Q43645061998-01-07Paper
Adding metatheoretic facilities to first-order theories1997-08-03Paper
https://portal.mardi4nfdi.de/entity/Q43643981997-01-01Paper
https://portal.mardi4nfdi.de/entity/Q48965301996-10-20Paper
https://portal.mardi4nfdi.de/entity/Q46986131995-05-11Paper

Research outcomes over time

This page was built for person: Seán Matthews

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1289099&oldid=6001476"
Powered by MediaWiki