Search or ask a question
Pricing
Login
Sign up
Home
Notebook
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Topics
/
Linear logic
/
1984
Showing papers on "Linear logic published in 1984"
PDF
Open Access
Year
Type
Authors
Institutions
Topics (1)
Journals & Conferences
Clear filters
Sort by:
Citation Count
Journal Article
•
DOI
•
A criterion for admissibility of rules in the model system S4 and the intuitionistic logic
[...]
Vladimir V. Rybakov
01 Sep
1984
-
Algebra and Logic
Go to Paper
103
citations
Save
Cite
Share
Journal Article
•
DOI
•
Intuitionistic logical connectives on linear structures
[...]
A. D. Yashin
1
•
Institutions (1)
Moscow State University
1
01 May
1984
-
Mathematical Notes
Go to Paper
Save
Cite
Share