Research graph
References from Sequent Calculus for the Subintuitionistic Logic $$\mathsf{WF_{N_{2}}} $$. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1093/jigpal/jzaa029
10.1093/jigpal/jzaa029 · External reference
10.1023/a:1012499207246
10.1023/a:1012499207246 · External reference
Unresolved reference
External reference
10.1002/malq.19980440304
10.1002/malq.19980440304 · External reference
10.1023/a:1005196310070
10.1023/a:1005196310070 · External reference
10.1017/cbo9780511621192
10.1017/cbo9780511621192 · External reference
10.1002/malq.19870330503
10.1002/malq.19870330503 · External reference
10.1007/978-94-015-8242-1_4
10.1007/978-94-015-8242-1_4 · External reference
10.1007/978-3-662-59565-7_4
10.1007/978-3-662-59565-7_4 · External reference
10.1016/j.indag.2018.01.013
10.1016/j.indag.2018.01.013 · External reference
10.1007/978-3-662-54332-0_18
10.1007/978-3-662-54332-0_18 · External reference
10.1007/978-3-030-53654-1_2
10.1007/978-3-030-53654-1_2 · External reference
10.1093/jigpal/jzac083
10.1093/jigpal/jzac083 · External reference
10.12775/llp.2020.018
10.12775/llp.2020.018 · External reference
Unresolved reference
External reference
10.1093/jigpal/jzm058
10.1093/jigpal/jzm058 · External reference
10.1305/ndjfl/1054301352
10.1305/ndjfl/1054301352 · External reference
10.2307/2963675
10.2307/2963675 · External reference
10.1002/1521-3870(200201)48:1<87::aid-malq87>3.0.co;2-n
10.1002/1521-3870(200201)48:1<87::aid-malq87>3.0.co;2-n · External reference
10.1305/ndjfl/1040609299
10.1305/ndjfl/1040609299 · External reference
Unresolved reference
External reference
10.1093/jigpal/jzw062
10.1093/jigpal/jzw062 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1080/11663081.2024.2366756
10.1080/11663081.2024.2366756 · External reference
10.1007/bf01874706
10.1007/bf01874706 · External reference
10.1007/978-3-662-48357-2_11
10.1007/978-3-662-48357-2_11 · External reference
10.1002/1521-3870(200201)48:1<87::aid-malq87>3.0.co;2-n
10.1002/1521-3870(200201)48:1<87::aid-malq87>3.0.co;2-n · ExternalCitation · doi-reference
10.1002/malq.19870330503
10.1002/malq.19870330503 · ExternalCitation · doi-reference
10.1002/malq.19980440304
10.1002/malq.19980440304 · ExternalCitation · doi-reference
10.1007/978-3-030-53654-1_2
10.1007/978-3-030-53654-1_2 · ExternalCitation · doi-reference
10.1007/978-3-662-48357-2_11
10.1007/978-3-662-48357-2_11 · ExternalCitation · doi-reference
10.1007/978-3-662-54332-0_18
10.1007/978-3-662-54332-0_18 · ExternalCitation · doi-reference
10.1007/978-3-662-59565-7_4
10.1007/978-3-662-59565-7_4 · ExternalCitation · doi-reference
10.1007/978-94-015-8242-1_4
10.1007/978-94-015-8242-1_4 · ExternalCitation · doi-reference
10.1007/bf01874706
10.1007/bf01874706 · ExternalCitation · doi-reference
10.1016/j.indag.2018.01.013
10.1016/j.indag.2018.01.013 · ExternalCitation · doi-reference
10.1017/cbo9780511621192
10.1017/cbo9780511621192 · ExternalCitation · doi-reference
10.1023/a:1005196310070
10.1023/a:1005196310070 · ExternalCitation · doi-reference
10.1023/a:1012499207246
10.1023/a:1012499207246 · ExternalCitation · doi-reference
10.1080/11663081.2024.2366756
10.1080/11663081.2024.2366756 · ExternalCitation · doi-reference
10.1093/jigpal/jzaa029
10.1093/jigpal/jzaa029 · ExternalCitation · doi-reference
10.1093/jigpal/jzac083
10.1093/jigpal/jzac083 · ExternalCitation · doi-reference
10.1093/jigpal/jzm058
10.1093/jigpal/jzm058 · ExternalCitation · doi-reference
10.1093/jigpal/jzw062
10.1093/jigpal/jzw062 · ExternalCitation · doi-reference
10.12775/llp.2020.018
10.12775/llp.2020.018 · ExternalCitation · doi-reference
10.1305/ndjfl/1040609299
10.1305/ndjfl/1040609299 · ExternalCitation · doi-reference
10.1305/ndjfl/1054301352
10.1305/ndjfl/1054301352 · ExternalCitation · doi-reference
10.2307/2963675
10.2307/2963675 · ExternalCitation · doi-reference
