A generalization of the adequacy theorem for the quasi-senses

DOI10.1305/NDJFL/1093635591zbMATH Open0732.03017OpenAlexW2032054791MaRDI QIDQ809065FDOQ809065

Authors: Cinzia Bonotto 

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635591

Recommendations

• scientific article; zbMATH DE number 124194
• scientific article; zbMATH DE number 124193
• scientific article; zbMATH DE number 3983143
• scientific article; zbMATH DE number 4108736
• On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy

zbMATH Keywords

semanticssynonymy\(\lambda \) -conversionadequacy theorem for quasi-sensesBressan's sense languagemodal language

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A generalization of the adequacy theorem for the quasi-senses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809065)